Solvability of the halting and reachability problem for binary 2-tag systems - Université de Lille Accéder directement au contenu
Article Dans Une Revue Fundamenta Informaticae XX Année : 2010

Solvability of the halting and reachability problem for binary 2-tag systems

Résumé

In this paper a detailed proof will be given of the solvability of the halting and reachability problem for binary 2-tag systems.
Fichier principal
Vignette du fichier
Corr4.pdf (297.06 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01396536 , version 1 (14-11-2016)

Identifiants

Citer

Liesbeth de Mol. Solvability of the halting and reachability problem for binary 2-tag systems. Fundamenta Informaticae XX, 2010, 99 (4), pp.435-471. ⟨10.3233/FI-2010-257⟩. ⟨hal-01396536⟩
41 Consultations
207 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More