著者

若月 光夫 富田 悦次 西野 哲朗

出版者

電気通信大学

雑誌

基盤研究(C)

巻号頁・発行日

2008

---

決定性プッシュダウン変換器のスタック記号を1 種類に限定した決定性限定ワンカウンタ変換器について,それが空スタック受理式及び実時間最終状態受理式の場合,その等価性判定が多項式時間で行えることを証明した.また,決定性限定ワンカウンタオートマトンのある部分クラス等が,正例から多項式時間で極限同定可能なことを証明した.更に,正則言語の部分クラスに対する正例からの極限同定を利用した,ジュウシマツの歌文法の解析手法を改良し,自動化を図った.