Art

J-GLOBAL ID：200902211629865457   Reference number：07A0969398

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

Author (4)： SEINO KAZUSHI (電通大 大学院電気通信学研究科) ,  SEINO KAZUSHI (東芝ソリューション 府中エンジニアリングセ) ,  TOMITA ETSUJI (電通大 大学院電気通信学研究科) ,  WAKATSUKI MITSUO (電通大 大学院電気通信学研究科)
Material： 電子情報通信学会論文誌 D  (IEICE Transactions on Information and Systems (Japanese Edition))
Volume： J90-D  Issue： 10  Page： 2675-2690  Publication year： Oct. 01, 2007 
JST Material Number： S0757C  ISSN： 1880-4535  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *pushdown automaton ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=07A0969398&from=J-GLOBAL&jstjournalNo=S0757C") }}

JST classification (1)： Automaton theory  (JB04000O)

Reference (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.

Terms in the title (3)： 推移 ,  変換器 ,  等価性