決定性Kプッシュダウン記号nテーププッシュダウンオートマトンの実時間計算に関する一考察 (オートマトン理論と数理言語の研究)
スポンサーリンク
概要
著者
-
大山口 通夫
三重大学大学院工学研究科
-
本多 波雄
東北大学電気通信研究所
-
大山口 通夫
Faculty of Engineering, Mie University
-
大山口 通夫
東北大学電気通信研究所
-
大山口 通夫
Faculty Of Engineering Mie University
関連論文
- 文脈を考慮したJavaプログラムの参照先解析に関する一考察 (アルゴリズムと計算機科学の数理的基盤とその応用)
- コード事象の性質と正規事象上の単射準同型の性質 (オートマトン理論と数理言語の研究)
- 単純型付き等式系に基づく定理自動証明に関する一考察(計算機科学の理論とその応用)
- 集合演算による木オートマトンで受理される木の集合の特性化 (情報科学の数学的理論)
- 非線形項書き換えシステムのE-非オーバーラップ性について(理論計算機科学とその周辺)
- 多値論理素子が細分的であるための条件 (情報科学の数学的理論)
- Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems : DRAFT
- 決定性プッシュダウンオートマトンの等価性判定問題についての一結果 (計算機構の数学的研究)
- 決定性Kプッシュダウン記号nテーププッシュダウンオートマトンの実時間計算に関する一考察 (オートマトン理論と数理言語の研究)
- 有限オートマトンの一般化 (情報科学の数学的理論)
- 静的単一代入形式を用いたポインタ解析アルゴリズム
- D-3-4 教育用C言語とそのコンパイラに関する一考察(D-3.ソフトウェアサイエンス,一般講演)
- 1次元テセレーションオートマタの完全性 (オートマトン理論と数理言語の研究)
- ストカスティック言語について (情報科学の数学的理論)