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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...