# Consecutive Repeating State Cycles Determine Periodic Points in a Turing Machine

• Michael Stephen Fiske
Part of the Studies in Computational Intelligence book series (SCI, volume 459)

## Abstract

The Turing machine is studied with new methods motivated by the notion of recurrence in classical dynamical systems theory. The state cycle of a Turing machine is introduced. It is proven that each consecutive repeating state cycle in a Turing machine determines a unique periodic configuration (point) and vice versa. This characterization is a periodic point theorem for Turing machines. A Turing machine is defined to be periodic if it has at least one periodic configuration or it only has halting configurations. Using the notion of a prime directed edge and a mathematical operation called edge pattern substitution, a search procedure finds consecutive repeating state cycles. If the Turing machine is periodic, then this procedure eventually finds each periodic point or this procedure determines that the machine has only halting configurations. New mathematical techniques are demonstrated such as edge pattern substitution and prime directed edge sequences that could be quite useful in the further study of the aperiodic Turing machines. The aperiodicity appears to play an integral role in the undecidability of the Halting problem.

## Keywords

Turing Machine Periodic Point State Cycle Computational Step Execution Step
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.

## References

1. 1.
Berger, R.: The undecidability of the domino problem. Memoirs of the American Mathematical Society (66) (1966)Google Scholar
2. 2.
Blondel, V., Cassaigne, J., Nichitiu, C.: On the presence of periodic configurations in Turing machines and in counter machines. Theoretical Computer Science 289(1), 573–590 (2002)
3. 3.
Bowen, R.: Periodic points and measures for Axiom A diffeomorphisms. Transactions for American Mathematical Society 154, 377–397 (1971)
4. 4.
Brouwer, L.E.J.: Uber Abbildung von Mannigfaltigkeiten. Mathematische Annalen 71, 97–115 (1912)
5. 5.
Davis, M.: Computability and Unsolvability. Dover Publications, New York (1982)
6. 6.
Fiske, M.S.: Non-autonomous dynamical systems applied to neural computation. PhD thesis, Northwestern University. UMI Microform 9714584 (1996)Google Scholar
7. 7.
Hopf, H.: Abbildungsklassen n-dimensionaler Mannigfaltigkeiten. Mathematische Annalen 96, 209–224 (1926)
8. 8.
Hooper, P.K.: The Undecidability of the Turing Machine Immortality Problem. Journal of Symbolic Logic 31(2) (1966)Google Scholar
9. 9.
Kürka, P.: On Topological Dynamics of Turing Machines. Theoretical Computer Science 174, 203–216 (1997)
10. 10.
Mueller, L.: newLISP Language (1999-2012), http://www.newlisp.org/
11. 11.
Poincare, H.: Sur les courbes definies par une equation differentielle. Oeuvres 1 (1892)Google Scholar
12. 12.
Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc. ser. 2 42(Parts 3 and 4), 230–265 (1936); [Turing, 1937a] A correction, ibid. 43, 544–546 (1937)Google Scholar