著者名 若月,光夫

Mitsuo Wakatsuki
論題 単純決定性プッシュダウンオートマトンおよびその部分クラスにおける等価性・包含性判定アルゴリズムと時間計算量評価

Algorithms for Checking the Equivalence of Simple DPDA's and the Inclusion for Some Subclass with Their Worst-Case Time Complexity Analysis
学位授与年月日 1993.03.23
学位の種別 課程博士
学位の種類 博士(工学)
学位記番号 博甲第28号
論文審査委員 主査 富田悦次 教授


石坂謙三 教授


笠井琢美 教授


野下浩平 教授


高橋治久 助教授


渡辺成良 助教授


横森貴 助教授