Zigzags in Turing Machines
Abstract
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.
- Publication:
-
Lecture Notes in Computer Science
- Pub Date:
- 2010
- DOI:
- 10.1007/978-3-642-13182-0_11
- arXiv:
- arXiv:1003.0588
- Bibcode:
- 2010LNCS.6072..109G
- Keywords:
-
- Turing machines;
- discrete dynamical systems;
- subshifts;
- formal languages;
- Computer Science - Formal Languages and Automata Theory
- E-Print:
- 17p