Skip to main content
SpringerLink
Log in
Book cover

International Conference on Developments in Language Theory

DLT 2002: Developments in Language Theory pp 93–102Cite as

Finite Automata Models of Quantized Systems: Conceptual Status and Outlook

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2450))

Abstract

Since Edward Moore, finite automata theory has been inspired by physics, in particular by quantum complementarity. We review automaton complementarity, reversible automata and the connections to generalized urn models. Recent developments in quantum information theory may have appropriate formalizations in the automaton context.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Landauer, R.: Information is physical. Physics Today 44 (1991) 23–29

    Article  Google Scholar 

  2. Calude, C.S., Pavlov, B.: Coins, quantum measurements, and Turing’s barrier. Quantum Information Processing 1 (2002) 107–127 quant-ph/0112087.

    Article  MathSciNet  Google Scholar 

  3. Moore, E.F.: Gedanken-experiments on sequential machines. In Shannon, C.E., McCarthy, J., eds.: Automata Studies. Princeton University Press, Princeton (1956)

    Google Scholar 

  4. Calude, C., Calude, E., Svozil, K., Yu, S.: Physical versus computational complementarity I. International Journal of Theoretical Physics 36 (1997) 1495–1523

    Article  MATH  MathSciNet  Google Scholar 

  5. Calude, E., Lipponen, M.: Deterministic incomplete automata: Simulation, universality and complementarity. In Calude, C.S., Casti, J., Dinneen, M.J., eds.: Unconventional Models of Computation, Singapore, Springer (1998) 131–149

    Google Scholar 

  6. Calude, C.S., Calude, E., Khoussainov, B.: Finite nondeterministic automata: Simulation and minimality. Theoret. Comput. Sci. 242 (2000) 219–235

    Article  MATH  MathSciNet  Google Scholar 

  7. Svozil, K.: Randomness & Undecidability in Physics. World Scientific, Singapore (1993)

    Google Scholar 

  8. Svozil, K.: Quantum Logic. Springer, Singapore (1998)

    Google Scholar 

  9. Svozil, K.: Logical equivalence between generalized urn models and finite automata. preprint (2002)

    Google Scholar 

  10. Svozil, K.: The Church-Turing thesis as a guiding principle for physics. In Calude, C.S., Casti, J., Dinneen, M.J., eds.: Unconventional Models of Computation, Singapore, Springer (1998) 371–385

    Google Scholar 

  11. Zeilinger, A.: A foundational principle for quantum mechanics. Foundations of Physics 29 (1999) 631–643

    Article  MathSciNet  Google Scholar 

  12. Wright, R.: The state of the pentagon. A nonclassical example. In Marlow, A.R., ed.: Mathematical Foundations of Quantum Theory. Academic Press, New York (1978) 255–274

    Google Scholar 

  13. Wright, R.: Generalized urn models. Foundations of Physics 20 (1990) 881–903

    Article  MathSciNet  Google Scholar 

  14. Kochen, S., Specker, E.P.: The problem of hidden variables in quantum mechanics. Journal of Mathematics and Mechanics 17 (1967) 59–87 Reprinted in [18], pp. 235-263].

    MATH  MathSciNet  Google Scholar 

  15. Donath, N., Svozil, K.: Finding a state among a complete set of orthogonal ones. Physical Review A 65 (2002) 044302 quant-ph/0105046, co-published by APS in [19].

    Google Scholar 

  16. Svozil, K.: Quantum information in base n defined by state partitions. Physical Review A 66 (2002) in print quant-ph/0205031.

    Google Scholar 

  17. Einstein, A.: Grundzüge der Relativitätstheorie. 1st edition edn. Vieweg, Braunschweig (1956)

    Google Scholar 

  18. Specker, E.: Selecta. Birkhäuser Verlag, Basel (1990)

    MATH  Google Scholar 

  19. Donath, N., Svozil, K.: Finding a state among a complete set of orthogonal ones. Virtual Journal of Quantum Information 2 (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Theoretische Physik, University of Technology Vienna, Wiedner Hauptstra\e 8-10/136, A-1040, Vienna, Austria

    Karl Svozil

Authors
  1. Karl Svozil
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Science and Faculty of Engineering, Kyoto Sangyo University, 603-8555, Kyoto, Japan

    Masami Ito  & Masafumi Toyama  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Svozil, K. (2003). Finite Automata Models of Quantized Systems: Conceptual Status and Outlook. In: Ito, M., Toyama, M. (eds) Developments in Language Theory. DLT 2002. Lecture Notes in Computer Science, vol 2450. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45005-X_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-45005-X_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40431-6

  • Online ISBN: 978-3-540-45005-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation