John Cocke;Marvin Minsky
-;-
Solvability of the Halting and Reachability Problem for Binary 2-tag Systems
Fundamenta Informaticae
On the complex behavior of simple tag systems-An experimental approach
Theoretical Computer Science