属性文法の高速循環性検査アルゴリズム
スポンサーリンク
概要
- 論文の詳細を見る
属性文法の循環性検査の時間計算量は,本質的に文法の大きさの指数時間であることが知られている.この換査アルゴリズムは,最初Knuthによって与えられたが,その後,Chebotar,Raiha,Deransartらによって効率の改善が行われた.本論文では,属性文法の構文解析木に対する依存グラフの性質を調べ,計算時間をさらに短縮した循環性検査アルゴリズムについて述べる.我々のアルゴリズムでは,生成規則に意味規則から得られる情報を付加し,循環性検査に不必要な情報を取り除く前処理を行っている.このことにより主検査の実行時間はかなり短縮される.幾つかの属性文法の記述例について,我々のアルゴリズムとすでに知られている循環性検査アルゴリズムの効率の比較を計算機によって行った.
- 一般社団法人情報処理学会の論文
- 1987-02-15
著者
関連論文
- Vidyasankarのグループk-排他アルゴリズムの高速化
- Vidyasankar のグループκ-排他アルゴリズムの高速化
- 6.考える課題実行時の事象関連電位の計量 : ハノイの塔を使用して(一般セッション 認知・情報)
- チャンネルネットワークにおける安全なメッセージ分配
- 一般化した独立全域木と高信頼性ブロードキャスト
- ビザンチン故障のあるスターグラフ上のブロードキャスティング
- 故障のあるスターネットワーク上の最適なブロードキャスティング(並列・分散)
- 故障のあるスターネットワーク上の最適なブロードキャスティング(並列・分散)
- ローテータグラフにおけるノンアダプティブな耐故障ファイル転送
- ハイパーリングのハイパーキューブへの埋め込み
- 公開鍵暗号におけるIndistinguishabilityの新しい定義
- A New Definition of Semantic Security for Public-Key Encryption Schemes (Foundations of Computer Science)
- 公開鍵暗号におけるSemantic Securityの新しい定義
- ハイパーキューブ上の安全な情報伝達 (計算モデルとアルゴリズム)
- 情報伝播アルゴリズムによる安全なメッセージ伝達
- A Highly Concurrent Algorithm for the Group Mutual Exclusion Problem (New Aspects of Theoretical Computer Science)
- セミハイパーリングと添加セミハイパーリング
- 改良ベーカリーアルゴリズムのチケット範囲
- 相互排他問題を解くための有限のチケットを用いたBakery algorithmの簡単化
- Lockout Avoidance Algorithms without Using Time-Stamps for the $k$-Exclusion Problem (New Developments of Theory of Computation and Algorithms)
- κ-排除問題のロックアウト回避アルゴリズム
- COMP2000-19 階層的なグループ構造をもつプレイヤーによる安全な秘密鍵共有
- 離散対数問題へのPVM(Parallel Virtual Machine)の適応 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- 階層構造上のランダムなカード配布を用いた安全なビット伝送
- Secret Bit Transmission Using a Random Deal of Cards on Hierarchical Structures (Models of Computation and Algorithms)
- ロックアウトフリーな相互排除アルゴリズムの速度改善
- Some Modifications of Lockout-Free Mutual Exclusion Algorithms (Algorithms and Theory of Computing)
- ロックアウトフリーな相互排除アルゴリズム
- 多次元プロセッサ配列上の並列ソートと時間計算量(計算アルゴリズムの基礎理論)
- ハイパーリング連結機械
- 電子メールの利用法
- 属性文法の高速循環性検査アルゴリズム
- 属性文法の循環性検査の高速化について(アルゴリズムの数学的基礎理論とその応用)
- GUNetの利用法 : コンピュータネットワークでできること : UNIX環境
- 情報処理センターの利用法とシステム開発 : (4)計算機ネットワークJUNET
- EFFICIENT IMPLEMENTATIONS OF PARALLEL SORT ALGORITHMS ON A MESH-CONNECTED PROCESSOR ARRAY(Mathematical Foundations of Computer Science and Their Applications)
- ハイパーキューブ、メッシュ、トーラス上のブロードキャストの耐故障性
- 積グラフの独立全域木について
- オンライン全域木の平均コンペティティブ比について
- 改良有限オートマトン公開鍵暗号システムの解析
- 直積ネットワークにおける高信頼性ブロードキャスト
- 構造化データフローモデルによる視覚的プログラミング
- 厳密なインターフェース検査のできる言語のためのモジュール管理システム
- ビザンチン故障を考慮したトーラスにおける耐故障ブロードキヤスト
- ビザンチン故障を著慮したトーラスにおける耐故障ブロードキャスト
- 故障のあるスターネットワーク上の効率的なブロードキャスティング
- 網状結合プロセッサアレイによる帯状行列グラフの最短経路アルゴリズム
- 未知の環境でのロボット操縦法とその効率
- 長方形の障害物が存在する未知の環境でのロボット操縦
- 電位分布からの再構成による事象関連電位の特徴付け
- On Permutations of Wires and States (形式言語理論とオ-トマトン理論)
- 分散処理, 白鳥則郎,滝沢誠(共著):"情報科学コアカリキュラム講座 分散処理",丸善(株)(1996-07);A5判,定価3,990円
- メッシュ結合ネットワークにおける耐故障ブロードキャスト