Logo image
Se connecter
On Immortal Configurations in Turing Machines
Acte de colloque   Open Access

On Immortal Configurations in Turing Machines

Emmanuel Jeandel
CiE: Computability in Europe, pp.334-343
CiE: Computability in Europe (Cambridge, United Kingdom, 2012)
27/01/2012

Résumé

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.

Fichiers et liens (1)

url
Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Logo image