TM as an Acceptor: Example
q1
s
a/D, R
TM M:
a/a, R
b/b, R
D/D, L
q2
f
b/D, L
q3
D/D, R
a/a, L
b/b, L
sabba |– Dq1abb |– Daq1bb |– Dabq1b |– Dabbq1D |– Dabq2b
          |– Daq3b |– Dq3ab |– q3Dab |– Dsab |– DDq1b |– DDq1b
          |– DDbq1D |– DDq2b |– Dq3D |– sD |– fD
abba Î L(M)
Summary:
Note: L(M) = {anbn: n ³ 0}
D/D, S
16/45