TM Example 3 (Cont)

Tape alphabet: { A, D, M, ^, $, Blank }

^: left end marker,

$: right end marker

States: { S0, S1, S2, S3, S4, S5, S6, S7 }

S0: initial state,

S1: moving R to find A,

S2: moving R to find D,

S3: moving R to find M,

S4: stepping left for A,

S5: stepping left for D,

S6: stepping left for M,

S7: homing -- moving left to find ^

Previous slide

Next slide

Back to first slide

View graphic version