ECS 220 7a:7.6-2 Turing universality of 3-counter machines

From David Doty