Abstract
In this paper a detailed proofwill be given of the solvability of the halting and reachability problem for binary 2-tag systems.
Get full access to this article
View all access options for this article.
You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026
Search this journals
Search journals, articles...
/