turing 146.0 408.0 454.0 361.0 444.0 271.0 Look for a 451.0 478.0 Look for b 652.0 301.0 Mark start 898.0 183.0 So Far So Good 966.0 609.0 Branch Failed 273.0 79.0 Rewind 672.0 609.0 Erase Head of W 723.0 516.0 Mark start 379.0 603.0 Reset V 489.0 42.0 530.0 294.0 582.0 476.0 10 10 A a L 10 10 B b L 6 6 B b L 6 6 A a L 7 0 A A S 7 0 B B S 11 7 a a S 11 7 b b S 9 6 a a L 2 13 c c R 6 8 C C R 6 8 c c R 4 5 a A S 0 1 C C R 0 1 c c R 0 3 b B R 3 14 c c R 11 0 B B S 11 0 A A S 8 10 b C L 8 10 a C L 0 2 a A R 10 0 R 13 4 b b S 13 4 a a S 13 4 A A S 13 4 B B S 5 11 C C L 5 11 c c L 4 6 b b L 10 10 C C L 11 11 C C L 11 11 c c L 10 10 b b L 10 10 a a L 10 10 c c L 7 7 b b L 7 7 a a L 5 5 B B L 5 5 A A L 14 14 C C R 13 13 C C R 3 3 b b R 3 3 a a R 2 2 b b R 2 2 a a R 0 0 B B R 0 0 A A R 4 4 A A R 4 4 B B R 9 9 B B R 9 9 A A R 14 9 b b S 14 9 a a S 14 9 B B S 14 9 A A S 9 5 b B S Note the use of two symbols C and c to prevent accepting e.g. abcccab which is not in the language. 570.0 90.0 Puts everything back into the start config except that the head of w will be replaced by C. 510.0 640.0 On a successful match of a character, rewind for the next one, marking which characters are matched so far. 487.0 236.0 This part identifies a hit or miss, depending on what we saw in v. 516.0 475.0 Matching begins (and rebegins) here with every attempt: only w changes between shifts, both change during match attempts. 69.0 642.0