 |
Portail HAL - Université de Lille |  |
Article dans une revue
Solvability of the halting and reachability problem for binary 2-tag systems
Abstract : In this paper a detailed proof will be given of the solvability of the halting and reachability problem for binary 2-tag systems.
Littérature citée [22 références]
https://hal.univ-lille.fr/hal-01396536
Contributeur : Liesbeth de Mol <>
Soumis le : lundi 14 novembre 2016 - 15:37:00
Dernière modification le : mardi 3 novembre 2020 - 09:54:03
Archivage à long terme le : : lundi 20 mars 2017 - 19:53:17
Contributeur : Liesbeth de Mol <>
Soumis le : lundi 14 novembre 2016 - 15:37:00
Dernière modification le : mardi 3 novembre 2020 - 09:54:03
Archivage à long terme le : : lundi 20 mars 2017 - 19:53:17
Fichier
Corr4.pdf
Fichiers produits par l'(les) auteur(s)