turing 287.0 102.0 515.0 98.0 402.0 255.0 170.0 245.0 74.0 111.0 0 3 Y Y R 2 0 X X R 3 3 Y Y R 1 1 0 0 R 1 1 Y Y R 1 2 1 Y L 2 2 0 0 L 2 2 Y Y L 0 1 0 X R 3 4 R Example 8.2, pp. 329-330 [3/e] TM to accept strings in { 0^n1^n : n>=1 } 15.0 13.0 Replace 0 with X 357.0 106.0 Replace corresponding 1 with Y ... 455.0 211.0 Rewind to find next 0 ... 288.0 227.0 No more 0s 162.0 154.0 No more 1s 66.0 209.0