turing start.jff 159.0 152.0 Rnot_a.jff 192.0 65.0 Rnot_b.jff2 369.0 150.0 b.jff 457.0 150.0 L_a.jff 542.0 150.0 R.jff 623.0 150.0 a.jff 557.0 228.0 L_blnk.jff 476.0 228.0 R.jff 391.0 228.0 Rnot_b.jff 202.0 228.0 b.jff 278.0 314.0 L_blnk.jff 346.0 316.0 R.jff 411.0 316.0 a.jff 476.0 314.0 L_blnk.jff 369.0 65.0 R.jff 442.0 67.0 halt.jff 521.0 67.0 2 14 9 10 a 14 15 ~ 3 4 ~ 12 13 ~ 11 12 ~ 0 1 a 10 11 ~ 15 16 ~ 9 14 2 3 a 4 5 ~ 13 7 ~ 6 7 ~ 5 6 ~ 8 0 a 8 9 b 7 8 ~ 1 2 b 0 9 b 1 14 126.0 136.0 271.0 136.0 407.0 136.0 1 2 a a S 1 1 !a ~ L 0 1 ~ ~ L 107.0 134.0 261.0 134.0 0 1 ~ ~ R 126.0 136.0 271.0 136.0 407.0 136.0 1 1 !□ ~ L 1 2 S 0 1 ~ ~ L 82.0 141.0 226.0 141.0 353.0 141.0 0 1 ~ ~ R 1 2 !b ~ S 1 1 b b R 82.0 141.0 226.0 141.0 move over b's 353.0 141.0 stop on non-b symbol 1 2 !b ~ S 1 1 b b R 0 1 ~ ~ R 86.0 124.0 224.0 124.0 0 1 ~ a S 82.0 131.0 222.0 131.0 0 1 ~ b S 82.0 141.0 226.0 141.0 353.0 141.0 1 2 !a ~ S 1 1 a a R 0 1 ~ ~ R 123.0 114.0 126.0 149.0