A Small Minimal Aperiodic Reversible Turing Machine - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Computer and System Sciences Année : 2017

A Small Minimal Aperiodic Reversible Turing Machine

Résumé

A simple reversible Turing machine with four states, three symbols and no halting configuration is constructed that has no periodic orbit, simplifying a construction by Blondel, Cassaigne and Nichitiu and positively answering a conjecture by Kari and Ollinger. The constructed machine has other interesting properties: it is symmetric both for space and time and has a topologically minimal associated dynamical system whose column shift is associated to a substitution. Using a particular embedding technique of an arbitrary reversible Turing machine into the one presented, it is proven that the problem of determining if a given reversible Turing machine without halting state has a periodic orbit is undecidable.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
smart.pdf (451.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00975244 , version 1 (08-04-2014)

Identifiants

Citer

Julien Cassaigne, Nicolas Ollinger, Rodrigo Torres. A Small Minimal Aperiodic Reversible Turing Machine. Journal of Computer and System Sciences, 2017, 84, pp.288-301. ⟨10.1016/j.jcss.2016.10.004⟩. ⟨hal-00975244⟩
445 Consultations
3093 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More