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

Liesbeth de Mol

doi:10.3233/FI-2010-257

Article Dans Une Revue Fundamenta Informaticae XX Année : 2010

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

(1)

Liesbeth de Mol

Fonction : Auteur
PersonId : 6798
IdHAL : liesbeth-de-mol

Savoirs, Textes, Langage (STL) - UMR 8163

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.

Mots clés

v-Tag systems halting problem reachability problem non-universality

Domaines

Informatique [cs] Théorie et langage formel [cs.FL]

Fichier principal

Corr4.pdf (297.06 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Liesbeth De Mol : Connectez-vous pour contacter le contributeur

https://hal.univ-lille.fr/hal-01396536

Soumis le : lundi 14 novembre 2016-15:37:00

Dernière modification le : vendredi 24 mars 2023-14:53:03

Archivage à long terme le : lundi 20 mars 2017-19:53:17

Dates et versions

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

Identifiants

HAL Id : hal-01396536 , version 1
DOI : 10.3233/FI-2010-257

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⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS STL UNIV-LILLE

41 Consultations

199 Téléchargements

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

Résumé

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager