Abstract
A configuration of a Turing machine is given by a tape content together with a particular state of the machine. Petr Kůrka has conjectured that every Turing machine — when seen as a dynamical system on the space of its configurations — has at least one periodic orbit. In this paper, we provide an explicit counter-example to this conjecture. We also consider counter machines and prove that, in this case, the problem of determining if a given machine has a periodic orbit in configuration space is undecidable.
This research was supported by NATO under grant CRG-961115, by the European Community Framework IV program through the research network ALAPEDES, by the Belgian program on interuniversity attraction poles IUAP P4-02, and by the French Ministry of Education and Research.
Acknowledgment
The authors are grateful to Professor Maurice Margenstern for his suggestions of improvement.
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
V. D. Blondel, O. Bournez, P. Koiran, and J. N. Tsitsiklis. The Stability of Saturated Linear Dynamical Systems is Undecidable. Proceedings of STACS 2000, H. Reichel, S. Tison (Eds), Lecture Notes in Computer Science, Springer Verlag, Heidelberg, 1770 (2000), 479–490. Full version to appear in Journal of Computer and System Sciences.
V. D. Blondel, O. Bournez, P. Koiran, Ch. H. Papadimitriou, and J. N. Tsitsiklis. Deciding Stability and Mortality of Piecewise Affine Dynamical Systems. To appear in Theoretical Computer Science.
P. K. Hooper. The Undecidability of the Turing Machine Immortality Problem. The Journal of Symbolic Logic, 31(2) (1966), 219–234.
J. E. Hopcroft and J. D. Ullman. Formal Languages and Their Relation to Automata, Addison-Wesley, 1969.
P. Kůrka. On Topological Dynamics of Turing Machines. Theoretical Computer Science, 174 (1997), 203–216.
C. Moore. Finite-Dimensional Analog Computers: Flows, Maps, and Recurrent Neural Networks, in Proc. of the First International Conference on Unconventional Models of Computation, Auckland, New Zealand, 1998.
C. Moore. Generalized Shifts: Undecidability and Unpredictability in Dynamical Systems. Nonlinearity, 4 (1991), 199–230.
Y. Rogozhin. Undecidability of the immortality problem for Turing machines with three states. Cybernetics (Kibernetika), Kiev (USSR) 1 (1975), 41–43.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berrlin Heidelberg
About this paper
Cite this paper
Blondel, V.D., Cassaigne, J., Nichitiu, C. (2001). On a Conjecture of Kůrka. A Turing Machine with No Periodic Configurations. In: Margenstern, M., Rogozhin, Y. (eds) Machines, Computations, and Universality. MCU 2001. Lecture Notes in Computer Science, vol 2055. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45132-3_10
Download citation
DOI: https://doi.org/10.1007/3-540-45132-3_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42121-4
Online ISBN: 978-3-540-45132-7
eBook Packages: Springer Book Archive