This is an old revision of the document!
| a | b | c | d | A | B | C | D | # | |
|---|---|---|---|---|---|---|---|---|---|
| find_a | (find_c, A, R) | (find_d, B, R) | (check_no_cs, C, R) | ||||||
| find_b | (find_d, B, R) | (check_no_ds, C, R) | |||||||
| find_c | (find_c, a, R) | (find_c, b, R) | (rewind_a, C, L) | ||||||
| find_d | (rewind_b, D, L) | (find_d, C, R) | (find_d, D, R) | ||||||
| rewind_a | (rewind_a, a, L) | (rewind_a, b, L) | (find_a, A, R) | (rewind_a, C, L) | |||||
| rewind_b | (rewind_b, b, L) | (find_b, B, R) | (rewind_b, C, L) | ||||||
| check_no_cs | (reject, c, R) | (check_no_cs, C, R) | |||||||
| check_no_ds | (reject, d, R) | (check_no_ds, C, R) | (check_no_ds, D, R) |