Zigzags in Turing Machines

We study one-head machines through symbolic and topological dynamics. In particular, a subshift is associated to the subshift, and we are interested in its complexity in terms of realtime recognition. We emphasize the class of one-head machines whose subshift can be recognized by a deterministic pushdown automaton. We prove that this class corresponds to particular restrictions on the head movement, and to equicontinuity in associated dynamical systems.

• Type: Conference
• Year: 2010
• Where: CSR
• Authors: Anahí Gajardo, Pierre Guillon
• Keywords: CSR 2010, Deterministic Pushdown Automaton, One-head Machines, Theoretical Computer Science, Topological Dynamics