文献

J-GLOBAL ID：200902211629865457   整理番号：07A0969398

ε-推移を許したある決定性プッシュダウン変換器対の等価性判定

著者 (4件)： 清野和司 (電通大 大学院電気通信学研究科) ,  清野和司 (東芝ソリューション 府中エンジニアリングセ) ,  富田悦次 (電通大 大学院電気通信学研究科) ,  若月光夫 (電通大 大学院電気通信学研究科)
資料名： 電子情報通信学会論文誌 D  (IEICE Transactions on Information and Systems (Japanese Edition))
巻： J90-D  号： 10  ページ： 2675-2690  発行年： 2007年10月01日 
JST資料番号： S0757C  ISSN： 1880-4535  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 決定性プッシュダウンオートマトン(dpda)の等価性判定問題...

シソーラス用語： *プッシュダウンオートマトン ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=07A0969398&from=J-GLOBAL&jstjournalNo=S0757C") }}

分類 (1件)： オートマトン理論  (JB04000O)

引用文献 (15件)：

• 富田悦次, “一方がε--動作なし空スタック受理式である決定性プッシュダウン変換器の等価性判定,”信学論 (D), vol. J62-D, no.7, pp. 467-474, July 1979.
• O. H. Ibarra and L. E. Rosier, “On the decidability of equivalence for deterministic pushdown transducers,” Inf. Process. Lett., vol.13, pp. 89-93, 1981.
• E. Tomita, “A direct branching algorithm for checking equivalence of some classes of deterministic pushdown automata,” Inform. Control, vol.52, pp. 187-238, 1982.
• B. Courcelle, “An axiomatic approach to the Korenjak-Hoperoft algorithm,” Math. Systems Theory, vol.16, pp. 191-231, 1983.
• E. Tomita, “An extended direct branching algorithm for checking equivalence of deterministic pushdown automata,” Theor. Comput. Sci., vol.32, pp. 87-120, 1984.

タイトルに関連する用語 (3件)： 推移 ,  変換器 ,  等価性