IPSJ Digital Courier
Online ISSN : 1349-7456
ISSN-L : 1349-7456
Quantum versus Classical Pushdown Automata in Exact Computation
Yumiko MurakamiMasaki NakanishiShigeru YamashitaKatsumasa Watanabe
Author information
JOURNAL FREE ACCESS

2005 Volume 1 Pages 426-435

Details
Abstract

Even though quantum computation is useful for solving certain problems, classical computation is more powerful in some cases. Thus, it is significant to compare the abilities of quantum computation and its classical counterpart, based on such a simple computation model as automata. In this paper we focus on the quantum pushdown automata which were defined by Golovkins in 2000, who showed that the class of languages recognized by quantum pushdown automata properly contains the class of languages recognized by finite automata. However, no one knows the entire relationship between the recognitive abilities of quantum and classical pushdown automata. As a part, we show a proposition that quantum pushdown automata can deterministically solve a certain problem that cannot be solved by any deterministic pushdown automata.

Content from these authors
© 2005 by the Information Processing Society of Japan
Previous article Next article
feedback
Top