フロ-表現の等価問題の決定不能性
スポンサーリンク
概要
著者
関連論文
- PASCALシンボリック・デバッガの作成
- マークグラフにおけるトランジションの潜在的同時発火可能性判定アルゴリズム
- 1-有界無競合ペトリネットにおける二つのトランジションの同時発火可能性を判定するYenのアルゴリズムの改良
- マークグラフにおけるトランジションの潜在的同時発火可能性判定アルゴリズム
- ペトリネットの部分クラスにおける同時発火可能性
- 妨害者のいる場合の最短経路問題
- 妨害の下での最短経路問題の複雑さ : 通過後の妨害を許さない場合
- 円筒上長方形交グラフの最大クリークを求めるアルゴリズム
- 妨害の下での最短経路問題
- パスグラフから区間グラフへの最小辺付加による変換の NP 完全性
- 交互シャフルについて
- 木上二重コンベックスグラフと二部サークルグラフの等価性
- 端子間に配線を通過させない順列配線のビア数最小化アルゴリズム
- 円筒上長方形交グラフの最大クリークを求めるアルゴリズム
- パスグラフから区間グラフへの最小辺付加による変換のNP完全性
- ある種のグラフにおける最大クリーク重みの折点数について
- ユーザインタフェース作成支援システムの設計と試作について
- 同期付シャフル表現の記述能力
- 同期付線型シャフル文法と対向ヘッド・シャフル・スタック・オ-トマトン
- シャフル文法に関する決定問題
- 同期付シャフル文法
- ミニコンによるある連想記憶システムの作成について
- 言語Cのライブラリ形式によるコンカレント機能の実現
- 分散型システム記述用言語Concurrent Cの設計とその処理系の実現
- 対話型修正編集機能を持つPASCAL構文解析システム
- 同期付正規シャフル文法と同期付生成システムの記述能力
- 正規シャフル文法に関する一考察(技術談話室)
- ペトリネットに関する幾つかの決定不能問題
- 線型シャフル文法とシャフル文法で生成される言語の諸性質
- シャフル文法
- PASCAL内部手続きの分離翻訳
- ある書式記述言語の設計と処理ルーチン
- シャフル・スタック・オ-トマン
- シャフルを付け加えた正規表現に関する決定問題
- シャフルを付け加えた正規表現(技術談話室)
- システム記述用言語Cのポータブルコンパイラの作成
- フロ-表現とイベント表現の記述能力
- フロ-表現の等価問題の決定不能性