A lower bound for probabilistic algorithms for finite state machines
Journal of Computer and System Sciences
A time complexity gap for two-way probabilistic finite-state automata
SIAM Journal on Computing
Running time to recognize nonregular languages by 2-way probabilistic automata
Proceedings of the 18th international colloquium on Automata, languages and programming
Finite state verifiers I: the power of interaction
Journal of the ACM (JACM)
A fast quantum mechanical algorithm for database search
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
SIAM Journal on Computing
Quantum circuits with mixed states
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Complexity theory retrospective II
Dense quantum coding and a lower bound for 1-way quantum automata
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Quantum automata and quantum grammars
Theoretical Computer Science
Quantum computation and quantum information
Quantum computation and quantum information
Probabilistic Two-Way Machines
Proceedings on Mathematical Foundations of Computer Science
On the power of quantum finite state automata
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
1-way quantum finite automata: strengths, weaknesses and generalizations
FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
Optimal Lower Bounds for Quantum Automata and Random Access Codes
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
On the Class of Languages Recognizable by 1-Way Quantum Finite Automata
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Characterizations of quantum automata
Theoretical Computer Science
Quantum versus deterministic counter automata
Theoretical Computer Science
Determination of equivalence between quantum sequential machines
Theoretical Computer Science
Automata theory based on quantum logic: Reversibilities and pushdown automata
Theoretical Computer Science
Theoretical Computer Science
Determining the equivalence for one-way quantum finite automata
Theoretical Computer Science
Some Observations on Two-Way Finite Automata with Quantum and Classical States
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
Some algebraic properties of measure-once two-way quantum finite automata
Quantum Information Processing
An application of quantum finite automata to interactive proof systems
Journal of Computer and System Sciences
Efficient probability amplification in two-way quantum finite automata
Theoretical Computer Science
Mathematical logic and quantum finite state automata
Theoretical Computer Science
Languages Recognized with Unbounded Error by Quantum Finite Automata
CSR '09 Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications
Quantum finite automata and weighted automata
Journal of Automata, Languages and Combinatorics
Computation in Sofic Quantum Dynamical Systems
Natural Computing: an international journal
Behaviours of Unary Quantum Automata
Fundamenta Informaticae - Non-Classical Models of Automata and Applications
Unbounded-error quantum computation with small space bounds
Information and Computation
Languages recognized by nondeterministic quantum finite automata
Quantum Information & Computation
Quantum automata, braid group and link polynomials
Quantum Information & Computation
UC'11 Proceedings of the 10th international conference on Unconventional computation
Characterizations of one-way general quantum finite automata
Theoretical Computer Science
Quantum finite automata and logics
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Generalized counters and reversal complexity
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Exact Quantum Algorithms for the Leader Election Problem
ACM Transactions on Computation Theory (TOCT)
Journal of Computer and System Sciences
Computation in sofic quantum dynamical systems
UC'07 Proceedings of the 6th international conference on Unconventional Computation
Computation with multiple CTCs of fixed length and width
Natural Computing: an international journal
State succinctness of two-way finite automata with quantum and classical states
Theoretical Computer Science
Proving the Power of Postselection
Fundamenta Informaticae - MFCS & CSL 2010 Satellite Workshops: Selected Papers
Hi-index | 0.01 |
We introduce 2-way finite automata with quantum and classical states (2qcfa's). This is a variant on the 2-way quantum finite automata (2qfa) model which may be simpler to implement than unrestricted 2qfa's; the internal state of a 2qcfa may include a quantum part that may be in a (mixed) quantum state, but the tape head position is required to be classical.We show two languages for which 2qcfa's are better than classical 2-way automata. First, 2qcfa's can recognize palindromes, a language that cannot be recognized by 2-way deterministic or probabilistic finite automata. Second, in polynomial time 2qcfa's can recognize {anbn|n ∈ N}, a language that can be recognized classically by a 2-way probabilistic automaton but only in exponential time.