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

Liesbeth De Mol 1
1 STL - Savoirs, Textes, Langage (STL) - UMR 8163
Abstract : In this paper a detailed proof will be given of the solvability of the halting and reachability problem for binary 2-tag systems.
Keywords : non-universality v-Tag systems halting problem reachability problem
Type de document :
Article dans une revue
Fundamenta Informaticae XX, 2010, 99 (4), pp.435-471. 〈10.3233/FI-2010-257〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger
https://hal.univ-lille3.fr/hal-01396536
Contributeur : Liesbeth De Mol <>
Soumis le : lundi 14 novembre 2016 - 15:37:00
Dernière modification le : mardi 3 juillet 2018 - 11:30:02
Document(s) archivé(s) le : lundi 20 mars 2017 - 19:53:17

Fichier

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

Identifiants

Collections

UNIV-LILLE3 | STL

Citation

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 DC DCterms EndNote

Partager

Métriques

Consultations de la notice

78

Téléchargements de fichiers

138

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD