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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Landauer, R.: Information is physical. Physics Today 44 (1991) 23–29
Calude, C.S., Pavlov, B.: Coins, quantum measurements, and Turing’s barrier. Quantum Information Processing 1 (2002) 107–127 quant-ph/0112087.
Moore, E.F.: Gedanken-experiments on sequential machines. In Shannon, C.E., McCarthy, J., eds.: Automata Studies. Princeton University Press, Princeton (1956)
Calude, C., Calude, E., Svozil, K., Yu, S.: Physical versus computational complementarity I. International Journal of Theoretical Physics 36 (1997) 1495–1523
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
Calude, C.S., Calude, E., Khoussainov, B.: Finite nondeterministic automata: Simulation and minimality. Theoret. Comput. Sci. 242 (2000) 219–235
Svozil, K.: Randomness & Undecidability in Physics. World Scientific, Singapore (1993)
Svozil, K.: Quantum Logic. Springer, Singapore (1998)
Svozil, K.: Logical equivalence between generalized urn models and finite automata. preprint (2002)
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
Zeilinger, A.: A foundational principle for quantum mechanics. Foundations of Physics 29 (1999) 631–643
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
Wright, R.: Generalized urn models. Foundations of Physics 20 (1990) 881–903
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].
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].
Svozil, K.: Quantum information in base n defined by state partitions. Physical Review A 66 (2002) in print quant-ph/0205031.
Einstein, A.: Grundzüge der Relativitätstheorie. 1st edition edn. Vieweg, Braunschweig (1956)
Specker, E.: Selecta. Birkhäuser Verlag, Basel (1990)
Donath, N., Svozil, K.: Finding a state among a complete set of orthogonal ones. Virtual Journal of Quantum Information 2 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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