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

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

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.

Domaines

Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
Corr4.pdf (297.06 Ko) Télécharger le fichier
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 : mercredi 5 juin 2024-10:26:18

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

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS STL CAMPUS-AAR AAI UNIV-LILLE
58 Consultations
237 Téléchargements

Altmetric

Partager

More