# 1-way quantum finite automata: strengths, weaknesses and generalizations

@article{Ambainis19981wayQF,
title={1-way quantum finite automata: strengths, weaknesses and generalizations},
author={Andris Ambainis and Rusins Freivalds},
journal={Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280)},
year={1998},
pages={332-341}
}
• Published 24 February 1998
• Computer Science
• Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280)
We study 1-way quantum finite automata (QFAs). First, we compare them with their classical counterparts. We show that, if an automaton is required to give the correct answer with a large probability (greater than 7/9), then any 1-way QFAs can be simulated by a 1-way reversible automaton. However, quantum automata giving the correct answer with smaller probabilities are more powerful than reversible automata. Second, we show that 1-way QFAs can be very space-efficient. We construct a 1-way QFA…
260 Citations

## Figures from this paper

### One-Way Finite Automata with Quantum and Classical States

• Computer Science
Languages Alive
• 2012
It is proved that coin-tossing one-way probabilistic finite automata (coin-Tossing 1PFA) and one- way quantum finite Automata with control language (1QFACL) as well as several other models of QFA, can be simulated by 1QCFA.

### Empowering measures for quantum finite automata (QFA)

• Computer Science, Physics
2011 3rd International Conference on Computer Research and Development
• 2011
This paper discusses about 1-QFA and 2-Q FA and their drawbacks, and introduces an algorithm by implementing 1-way quantum finite k-counter automata (1-QFk-CA) with multiple scanning of the input string to improve the power of QFAs.

### Quantum Finite Automata : a Language Acceptor Model

• Computer Science, Physics
• 2012
This survey work has drawn a comparison among 1- way QFA, 2-way QFA and 1.5-wayQFA, and discussed about the strengths and weakness of all these QFA models and the power of Quantum Finite State Automata.

### One-way quantum finite automata together with classical states

• Computer Science
ArXiv
• 2009
A new computing model of 1QFA, namely, one-way quantum finite automata together with classical states (1QFAC for short), is developed, a component of classical states is added, and the choice of unitary evolution of quantum states at each step is closely related to the current classical state.

### On the Weakness of One-Way Quantum Pushdown Automata

• M. Nakanishi
• Computer Science
2010 Fourth International Conference on Quantum, Nano and Micro Technologies
• 2010
This work focuses on (empty-stack acceptance) one-way quantum pushdown automata, and shows that there exists a regular language which one- way quantum push down automata cannot recognize.

### Succinctness of two-way probabilistic and quantum finite automata

• Computer Science
Discret. Math. Theor. Comput. Sci.
• 2010
It is proved that two-way probabilistic and quantum finite automata (2PFAs and 2QFAs) can be considerably more concise than both their one-way versions, and two- way nondeterministic finite automaton (2NFAs), and it is shown that 2ZFAs with mixed states can support highly efficient probability amplification.

### Quantum Computing: 1-Way Quantum Automata

• Computer Science
Developments in Language Theory
• 2003
This paper analyzes several models of 1-way quantum finite automata and compares their behaviors with those of measure-once, measure-many and reversible 1- way quantum automata.

### Revisiting the Power and Equivalence of One-Way Quantum Finite Automata

• Computer Science
ICIC
• 2010
A new proof is given for the fact that measure-many one-way quantum finite automata (MM-1QFA) recognize only regular languages with bounded error and generalizes the proof to a broader class of automata that include probabilistic automata and some kinds of quantum finite Automata.

## References

SHOWING 1-10 OF 17 REFERENCES

### On the power of quantum finite state automata

• Computer Science
Proceedings 38th Annual Symposium on Foundations of Computer Science
• 1997
It is proved that the class of languages recognizing by linear time, bounded error 2qfa's properly includes the regular languages, and 1-way and 2-way quantum finite state automata are introduced, which are the quantum analogues of deterministic, nondeterministic and probabilistic 1- way and2-way finite state Automata.

### On the space efficiency of one way quantum finite automata

• Computer Science
• 1998
A family of finite regular languages such that any 1-way quantum finite automaton (QFA) accepting L_n with probability 1/2 + epsilon must have 2^{Omega(n/log n)} states.

### Quantum complexity theory

• Computer Science
STOC
• 1993
This paper gives the first formal evidence that quantum Turing machines violate the modern (complexity theoretic) formulation of the Church--Turing thesis, and proves that bits of precision suffice to support a step computation.

### On the power of 2-way probabilistic finite state automata

• Computer Science
30th Annual Symposium on Foundations of Computer Science
• 1989
The recognition power of two-way probabilistic finite-state automata (2PFAs) is studied. It is shown that any 2PFA recognizing a nonregular language must use exponential expected time infinitely

### On Reversible Automata

Four non-trivial characterizations of the languages accepted by a reversible automaton equipped with a set of initial and final states are given and it is shown that one can effectively decide whether a given rational (or regular) language can be accepted by the automaton.

### Running Time to Recognize Nonregular Languages by 2-Way Probabilistic Automata

• Computer Science
ICALP
• 1991
The running time for the recognition of nonregular 2-dimensional languages by 4-way pfa can be essentially smaller, namely, linear.

### The Complexity of Probabilistic versus Deterministic Finite Automata

We show that there exists probabilistic finite automata with an isolated cutpoint and n states such that the smallest equivalent deterministic finite automaton contains \(\Omega \left(