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