turing 563.0 336.0 X-counter 716.0 234.0 subtractor 838.0 217.0 722.0 385.0 937.0 317.0 856.0 379.0 581.0 193.0 641.0 45.0 Zero verifier 810.0 95.0 94.0 240.0 This side adds an x and clears 1st branch 211.0 143.0 122.0 418.0 Branch here (nondeterminism) 544.0 552.0 318.0 134.0 415.0 199.0 466.0 137.0 3 3 X X L 3 3 x x L 3 3 0 0 L 3 3 1 1 L 4 4 0 0 L 9 9 0 0 L 9 9 1 1 L 9 9 x x L 15 15 x x L 14 14 * * L 0 0 * * L 0 0 x x L 0 0 X X L 16 6 x X R 16 7 0 0 R 16 7 * * R 14 15 x x S 5 3 1 1 S 7 7 * * R 7 7 0 0 R 6 6 x x R 1 1 0 0 R 1 1 1 1 R 9 10 x S 10 10 x x R 6 6 * * R 6 6 X X R 16 16 X X R 11 9 0 0 S 11 9 1 1 S 11 9 x x S 15 9 S 10 10 0 * R 2 4 0 1 L 3 0 * * L 15 0 R 10 10 1 * R 11 0 0 0 S 11 0 1 1 S 11 0 x x S 2 3 1 0 L 10 14 # * S 3 0 R 4 5 1 0 R 1 2 # # L 0 16 R 6 1 1 1 S 6 1 0 0 S 5 5 0 1 R 7 8 R 7 8 # # R The idea is to fork the turing machine one for each w group. 33.0 58.0