Quantum Computers and Quantum Automata

  • Rūsinš Freivalds


Quantum computation is a most challenging project involving research both by physicists and computer scientists. The principles of quantum computation differ from the principles of classical computation very much. When quantum computers become available, the public-key cryptography will change radically. It is no exaggeration to assert that building a quantum computer means building a universal code-breaking machine. Quantum finite automata are expected to appear much sooner. They do not generalize deterministic finite automata. Their capabilities are incomparable.


Discrete Logarithm Regular Language Finite Automaton Quantum Circuit Unitary Matrice 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Andris Ambainis and Rusin Freivalds, “1-way quantum finite automata: strengths, weaknesses and generalizations”, Proc. 39th FOCS,1998,
  2. [2]
    Andris Ambainis, Ashwin Nayak, Amnon Ta-Shma and Umesh Vazirani, “Dense Quantum Coding and a Lower Bound for 1-way Quantum Automata”,
  3. [3]
    Andris Ambainis, Rūsinš Freivalds and Marek Karpinski, “Multi-tape quantum finite automata”,
  4. [4]
    D. Angluin, “Inference of reversible languages”, Journal of the ACM, 29, 1982, 741–765.MathSciNetzbMATHCrossRefGoogle Scholar
  5. [5]
    Paul Benioff, “Quantum mechanical Hamiltonian models of Turing machines”, J. Statistical Physics, 29, 1982, 515–546.MathSciNetzbMATHCrossRefGoogle Scholar
  6. [6]
    Ethan Bernstein and Umesh Vazirani, “Quantum complexity theory”, SIAM Journal on Computing, 26, 1997, 1411–1473.MathSciNetzbMATHCrossRefGoogle Scholar
  7. [7]
    Daniel Danin, Inevitability of the strange world, Molodaya Gvardiya, Moscow, 1962 (in Russian).Google Scholar
  8. [8]
    Daniel Danin, Probabilities of the quantum world, Mir Publishers, Moscow, 1983.zbMATHGoogle Scholar
  9. [9]
    David Deutsch, “Quantum theory, the Church-Turing principle and the universal quantum computer”, Proc. Royal Society London, A400, 1989, 96–117.Google Scholar
  10. [10]
    Rúsins Freivalds, “Fast probabilistic algorithms”, Lecture Notes in Computer Science, 74, 1979, 57–69.MathSciNetGoogle Scholar
  11. [11]
    Richard Feynman, “Simulating physics with computers”, International Journal of Theoretical Physics,21, 6/7, 1982, 467–488.Google Scholar
  12. [12]
    Felix Gantmacher, Theory of matrices. Nauka, Moscow, 1967 (in Russian).Google Scholar
  13. [13]
    Jozef Gruska, Quantum Computing. World Scientific, Singapore, 1999.Google Scholar
  14. [14]
    Arnolds Kikusts, “A small 1-way quantum finite automaton”,
  15. [15]
    Attila Kondacs and John Watrous, “On the power of quantum finite state automata”, Proc. 38th FOCS, 1997, 66–75.Google Scholar
  16. [16]
    K. de Leeuw, E.F. Moore, C.E. Shannon and N. Shapiro, “Computability by probabilistic machines”,Automata Studies, C.E. Shannon and J. McCarthy, Eds., Princeton University Press, Princeton, NJ, 1955, 183–212.Google Scholar
  17. [17]
    Yuri I. Manin, The provable and not provable, Sovetskoye Radio, Moscow, 1979, (in Russian).Google Scholar
  18. [18]
    Yuri I. Manin, The computable and not computable, Sovetskoye Radio, Moscow, 1980, (in Russian).Google Scholar
  19. [19]
    Cristopher Moore, James P. Crutchfield, “Quantum automata and quantum grammars”, Manuscript available at
  20. [20]
    Max Planck, “Über eine Verbesserung der Wien’schen Spectralgleichung”, Verhandlungen der deutschen physikalischen Gesellschaft 2 1900, S. 202.Google Scholar
  21. [21]
    Jean-Eric Pin, “On reversible automata”, Lecture Notes in Computer Science, 583, 401–415.Google Scholar
  22. [22]
    R. P. Poplayskiy, “Thermodynamical models of information processes”, Uspekhi Fizicheskikh Nauk, 115, No. 3, 1975, 465–501 (in Russian).CrossRefGoogle Scholar
  23. [23]
    Michael Rabin, “Probabilistic automata”, Information and Control, 6, 1963, 230–245.zbMATHCrossRefGoogle Scholar
  24. [24]
    Peter W. Shor, “Algorithms for quantum computation: discrete logarithms and factoring”, Proc. 35th FOCS, 1994, 124–134.Google Scholar
  25. [25]
    Daniel R. Simon, “On the power of Quantum Computation”, Proc. 35th FOCS, 1994, 116–123.Google Scholar
  26. [26]
    Andrew Chi-Chill Yao, “Quantum circuit complexity”, Proc. 34th FOCS, 1993, 352–361.Google Scholar

Copyright information

© Springer Science+Business Media New York 2000

Authors and Affiliations

  • Rūsinš Freivalds
    • 1
  1. 1.Department of Computer ScienceUniversity of LatviaRigaLatvia

Personalised recommendations