4 research outputs found
Solvability of the halting and reachability problem for binary 2-tag systems
No full textIn this paper a detailed proof will be given of the solvability of the halting and reachability problem for binary 2-tag systems
No full text