TM Example 3 (Cont)

Transition function:

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

S0 A ^ S1 R

S0 D ^ S2 R

S0 M ^ S3 R

S0 ^ ^ S0 R

S0 $ Accept

S1 $ $ S4 L

S1 * no-change S1 R

S2 $ $ S5 L

S2 * no-change S2 R

S3 $ $ S6 L

S3 * no-change S3 R

Previous slide

Next slide

Back to first slide

View graphic version