turing 2 317.0 269.0 510.0 180.0 351.0 81.0 168.0 145.0 49.0 262.0 0 1 X R 0 0 R 2 0 X X R 0 0 R 0 3 Y Y R 1 1 R 3 4 R R 1 2 Y L 1 1 L 1 1 R 0 0 R 1 1 Y Y R 1 1 R 3 3 Y Y R 1 1 R 2 2 L 0 0 L 2 2 Y Y L 1 1 L Example 8.2 (with 2 tapes), pp. 329-330 [3/e] TM to accept strings in { 0^n1^n : n>=1 } 6.0 9.0 Note: Tape 1 contains "tick marks" Tape 2 contains the input ... 47.0 47.0 Mark X above a 0 388.0 244.0 Mark Y above a 1 401.0 88.0 Rewind to find next 0 ... 254.0 115.0 No more 0s 185.0 242.0 No more 1s 40.0 181.0