ヤノフ形並行プログラム図式の決定可能問題
スポンサーリンク
概要
著者
関連論文
- 閉じた正規表現の代数と完全な公理系
- 同期付生成システムを用いた,直線形プロセスから構成される並行処理システムの解析--独立k-左線形SPSとSPS言語
- 無限長記号列を含む集合に関する右線形方程式
- 正規アドヒ-レンス言語の閉包性と決定可能問題
- 画像に対する並列変換と逐次変換の関係
- 正規集合のアドヒ-レンスによって得られるω-言語とω-有限オ-トマトン
- Regular Adherenceとその諸性質について (形式言語理論とオートマトン理論)
- ヤノフ形並行プログラム図式の決定可能問題
- 同期付生成システム(SPS)について (計算の複雑性に関する研究)
- 有限状態スケジュ-ラを有する並行プログラム図式
- ヤノフ形並列プログラム図式の決定可能問題 (情報科学の数学的基礎理論と応用)
- 並列プログラム図式に関するいくつかの性質 (計算機科学の数学的基礎)
- 二値画像に対する並列形処理と逐次形処理 (形式言語理論とオートマトン理論)
- TD-1-3 インフォーメーションセオリー研究委員会発足の頃を思い出して
- プログラムの検証と完備な述語のクラス(計算機構に関する数学的基礎理論とその応用)
- 非決定性プログラムの全面的正当性 (形式言語理論とオートマトン理論)