TM Example 3 (Cont)

Transition function, continued:

Cur. State Cur. Sym. New Sym. Next State Move

S4 A $ S7 L

S4 ^ Accept

S4 * Reject

S5 D $ S7 L

S5 ^ Accept

S5 * Reject

S6 M $ S7 L

S6 ^ Accept

S6 * Reject

S7 ^ ^ S0 R

S7 * no-change S7 L

Previous slide

Next slide

Back to first slide

View graphic version