TM as an Acceptor: Example
q
1
s
a
/
D
,
R
TM
M
:
a
/
a
,
R
b
/
b
,
R
D
/
D
,
L
q
2
f
b
/
D
,
L
q
3
D
/
D
,
R
a
/
a
,
L
b
/
b
,
L
s
abba
|
–
D
q
1
abb
|
–
D
a
q
1
bb
|
–
D
ab
q
1
b
|
–
D
abb
q
1
D
|
–
D
ab
q
2
b
|
–
D
a
q
3
b
|
–
D
q
3
ab
|
–
q
3
D
ab
|
–
D
s
ab
|
–
DD
q
1
b
|
–
DD
q
1
b
|
–
DD
b
q
1
D
|
–
DD
q
2
b
|
–
D
q
3
D
|
–
s
D
|
–
f
D
abba
Î
L
(
M
)
Summary:
Note
:
L
(
M
) = {
a
n
b
n
:
n
³
0}
D
/
D
,
S
16/45