Abstract
The paper adds the one-counter one-way finite automaton [6] to the list of classical computing devices having quantum counterparts more powerful in some cases. Specifially, two languages are considered, the first is not recognizable by deterministic one-counter one-way finite automata, the second is not recognizable with bounded error by probabilistic one-counter one-way finite automata, but each recognizable with bounded error by a quantum one-counter one-way finite automaton. This result contrasts the case of one-way finite automata without counter, where it is known [5] that the quantum device is actually less powerful than its classical counterpart.
Supported by the ML2000 project sponsored by the Swedish Institute.
Research supported by the Latvian Council of Science, grant 01.0354; European Commission, contract IST-1999-11234; Swedish Institute, project ML2000
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ambainis, A., and R. Freivalds: 1-way quantum finite automata: strengths, weaknessesand generalizations. Proc. 39 th FOCS (1998) 332–341
Ambainis, A., and J. Watrous: Two-way finite automata with quantum and classicalstates. http://xxx.lanl.gov/abs/cs.CC/9911009
Deutsch, D.: Quantum theory, the Church-Turing principle and the universal quantumcomputer. Proc. Royal Society London, A400 ( 1989) 96–117
Gruska, J.: Quantum Computing, McGraw Hill (1999)
Kondacs, A., and J. Watrous: On the power of quantum finite state automata. Proc.38th FOCS (1997) 66–75
Kravtsev, M.: Quantum Finite One-Counter Automata. In: Proc. 26th SOFSEM(1999), LNCS 1725, Springer-Verlag, 431–440. http://xxx.lanl.gov/abs/quantph/9905092
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bonner, R., Freivalds, R., Kravtsev, M. (2001). Quantum versus Probabilistic One-Way Finite Automata with Counter. In: Pacholski, L., Ružička, P. (eds) SOFSEM 2001: Theory and Practice of Informatics. SOFSEM 2001. Lecture Notes in Computer Science, vol 2234. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45627-9_15
Download citation
DOI: https://doi.org/10.1007/3-540-45627-9_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42912-8
Online ISBN: 978-3-540-45627-8
eBook Packages: Springer Book Archive