 |
Scientific publications of the Humanities and Social Sciences University of Lille |  |
Journal articles
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.
Cited literature [22 references]
https://hal.univ-lille3.fr/hal-01396536
Contributor : Liesbeth de Mol <>
Submitted on : Monday, November 14, 2016 - 3:37:00 PM
Last modification on : Tuesday, July 3, 2018 - 11:30:02 AM
Document(s) archivé(s) le : Monday, March 20, 2017 - 7:53:17 PM
Contributor : Liesbeth de Mol <>
Submitted on : Monday, November 14, 2016 - 3:37:00 PM
Last modification on : Tuesday, July 3, 2018 - 11:30:02 AM
Document(s) archivé(s) le : Monday, March 20, 2017 - 7:53:17 PM
File
Corr4.pdf
Files produced by the author(s)
