The equivalence problem of multitape finite automata
Theoretical Computer Science
SIAM Journal on Computing
Undecidability on quantum finite automata
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Descriptional complexity issues in quantum computing
Journal of Automata, Languages and Combinatorics
Quantum automata and quantum grammars
Theoretical Computer Science
Automata, Languages, and Machines
Automata, Languages, and Machines
Quantum computation and quantum information
Quantum computation and quantum information
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Characterizations of 1-Way Quantum Finite Automata
SIAM Journal on Computing
Computing with quanta-impacts of quantum theory on computation
Theoretical Computer Science - Natural computing
Two-way finite automata with quantum and classical states
Theoretical Computer Science - Natural computing
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
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
Theories of abstract automata (Prentice-Hall series in automatic computation)
Theories of abstract automata (Prentice-Hall series in automatic computation)
Determination of equivalence between quantum sequential machines
Theoretical Computer Science
SFCS '93 Proceedings of the 1993 IEEE 34th Annual Foundations of Computer Science
Determining the equivalence for one-way quantum finite automata
Theoretical Computer Science
Various Aspects of Finite Quantum Automata
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
The equivalence problem of multidimensional multitape automata
Journal of Computer and System Sciences
Note: A note on quantum sequential machines
Theoretical Computer Science
Hierarchy and equivalence of multi-letter quantum finite 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 computing: 1-way quantum automata
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Probabilities to accept languages by quantum finite automata
COCOON'99 Proceedings of the 5th annual international conference on Computing and combinatorics
Revisiting the power and equivalence of one-way quantum finite automata
ICIC'10 Proceedings of the Advanced intelligent computing theories and applications, and 6th international conference on Intelligent computing
Quantum Computing
Hi-index | 0.00 |
In this paper, we present a much simpler, direct and elegant approach to the equivalence problem of measure many one-way quantum finite automata (MM-1QFAs). The approach is essentially generalized from the work of Carlyle [J.W. Carlyle, Reduced forms for stochastic sequential machines, J. Math. Anal. Appl. 7 (1963) 167-175]. Namely, we reduce the equivalence problem of MM-1QFAs to that of two (initial) vectors. As an application of the approach, we utilize it to address the equivalence problem of enhanced one-way quantum finite automata (E-1QFAs) introduced by Nayak [A. Nayak, Optimal lower bounds for quantum automata and random access codes, in: Proceedings of the 40th IEEE Symposium on Foundations of Computer Science (FOCS), 1999, pp. 369-376]. We prove that two E-1QFAs A"1 and A"2 over @S are equivalence if and only if they are n"1^2+n"2^2-1-equivalent where n"1 and n"2 are the numbers of states in A"1 and A"2, respectively. As an important consequence, we obtain that it is decidable whether or not L(A"1)=L(A"2) where L(A)@?@S^@? denotes the set recognizable by MM-1QFA A (or by E-1QFA A) with cutpoint (or with non-strict cutpoint). This also extends a theorem of Eilenberg.