Consecutive Repeating State Cycles Determine Periodic Points in a Turing Machine
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.
KeywordsTuring Machine Periodic Point State Cycle Computational Step Execution Step
Unable to display preview. Download preview PDF.
- 1.Berger, R.: The undecidability of the domino problem. Memoirs of the American Mathematical Society (66) (1966)Google Scholar
- 6.Fiske, M.S.: Non-autonomous dynamical systems applied to neural computation. PhD thesis, Northwestern University. UMI Microform 9714584 (1996)Google Scholar
- 8.Hooper, P.K.: The Undecidability of the Turing Machine Immortality Problem. Journal of Symbolic Logic 31(2) (1966)Google Scholar
- 10.Mueller, L.: newLISP Language (1999-2012), http://www.newlisp.org/
- 11.Poincare, H.: Sur les courbes definies par une equation differentielle. Oeuvres 1 (1892)Google Scholar
- 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