On Immortal Configurations in Turing Machines

Emmanuel Jeandel 1, *
* Auteur correspondant
1 ESCAPE - Systèmes complexes, automates et pavages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : We investigate the immortality problem for Turing machines and prove that there exists a Turing Machine that is immortal but halts on every recursive configuration. The result is obtained by combining a new proof of Hooper's theorem [11] with recent results on effective symbolic dynamics.
Type de document :
Communication dans un congrès
CiE: Computability in Europe, 2012, Cambridge, United Kingdom. pp.334-343, 2012, 〈10.1007/978-3-642-30870-3_34〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00663457
Contributeur : Emmanuel Jeandel <>
Soumis le : vendredi 27 janvier 2012 - 10:57:37
Dernière modification le : jeudi 11 janvier 2018 - 06:27:05
Document(s) archivé(s) le : mercredi 14 décembre 2016 - 02:03:26

Fichier

turing.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Emmanuel Jeandel. On Immortal Configurations in Turing Machines. CiE: Computability in Europe, 2012, Cambridge, United Kingdom. pp.334-343, 2012, 〈10.1007/978-3-642-30870-3_34〉. 〈lirmm-00663457〉

Partager

Métriques

Consultations de la notice

247

Téléchargements de fichiers

275