Zigzags in Turing machines - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

Zigzags in Turing machines

Anahi Gajardo
  • Function : Author
  • PersonId : 848525
Pierre Guillon

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.
Fichier principal
Vignette du fichier
zigzag.pdf (214.57 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00460662 , version 1 (02-03-2010)
hal-00460662 , version 2 (30-12-2010)

Identifiers

Cite

Anahi Gajardo, Pierre Guillon. Zigzags in Turing machines. 2010. ⟨hal-00460662v2⟩
368 View
214 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More