@article {de2010solvability, title = {Solvability of the halting and reachability problem for binary 2-tag systems}, journal = {Fundamenta Informaticae}, volume = {99}, number = {4}, year = {2010}, pages = {435{\textendash}471}, abstract = {
In this report we will provide a detailed proof of the solvability of the halting and reachability problem for 2-symbolic tag systems with a shiftnumber v = 2.
}, doi = {10.3233/FI-2010-257}, author = {De Mol, Liesbeth} }