1,073 research outputs found
Quantum Pushdown Automata
Quantum finite automata, as well as quantum pushdown automata (QPA) were
first introduced by C. Moore and J. P. Crutchfield. In this paper we introduce
the notion of QPA in a non-equivalent way, including unitarity criteria, by
using the definition of quantum finite automata of Kondacs and Watrous. It is
established that the unitarity criteria of QPA are not equivalent to the
corresponding unitarity criteria of quantum Turing machines. We show that QPA
can recognize every regular language. Finally we present some simple languages
recognized by QPA, not recognizable by deterministic pushdown automata.Comment: Conference SOFSEM 2000, extended version of the pape
Superiority of one-way and realtime quantum machines and new directions
In automata theory, the quantum computation has been widely examined for
finite state machines, known as quantum finite automata (QFAs), and less
attention has been given to the QFAs augmented with counters or stacks.
Moreover, to our knowledge, there is no result related to QFAs having more than
one input head. In this paper, we focus on such generalizations of QFAs whose
input head(s) operate(s) in one-way or realtime mode and present many
superiority of them to their classical counterparts. Furthermore, we propose
some open problems and conjectures in order to investigate the power of
quantumness better. We also give some new results on classical computation.Comment: A revised edition with some correction
Turing machines based on unsharp quantum logic
In this paper, we consider Turing machines based on unsharp quantum logic.
For a lattice-ordered quantum multiple-valued (MV) algebra E, we introduce
E-valued non-deterministic Turing machines (ENTMs) and E-valued deterministic
Turing machines (EDTMs). We discuss different E-valued recursively enumerable
languages from width-first and depth-first recognition. We find that
width-first recognition is equal to or less than depth-first recognition in
general. The equivalence requires an underlying E value lattice to degenerate
into an MV algebra. We also study variants of ENTMs. ENTMs with a classical
initial state and ENTMs with a classical final state have the same power as
ENTMs with quantum initial and final states. In particular, the latter can be
simulated by ENTMs with classical transitions under a certain condition. Using
these findings, we prove that ENTMs are not equivalent to EDTMs and that ENTMs
are more powerful than EDTMs. This is a notable difference from the classical
Turing machines.Comment: In Proceedings QPL 2011, arXiv:1210.029
Quantum counter automata
The question of whether quantum real-time one-counter automata (rtQ1CAs) can
outperform their probabilistic counterparts has been open for more than a
decade. We provide an affirmative answer to this question, by demonstrating a
non-context-free language that can be recognized with perfect soundness by a
rtQ1CA. This is the first demonstration of the superiority of a quantum model
to the corresponding classical one in the real-time case with an error bound
less than 1. We also introduce a generalization of the rtQ1CA, the quantum
one-way one-counter automaton (1Q1CA), and show that they too are superior to
the corresponding family of probabilistic machines. For this purpose, we
provide general definitions of these models that reflect the modern approach to
the definition of quantum finite automata, and point out some problems with
previous results. We identify several remaining open problems.Comment: A revised version. 16 pages. A preliminary version of this paper
appeared as A. C. Cem Say, Abuzer Yakary{\i}lmaz, and \c{S}efika
Y\"{u}zsever. Quantum one-way one-counter automata. In R\={u}si\c{n}\v{s}
Freivalds, editor, Randomized and quantum computation, pages 25--34, 2010
(Satellite workshop of MFCS and CSL 2010
- …