Odpověď:
ANO
,
ab
Î
L
(
M
), protože
f
Î
F
.
Simulace všech možných přechodů z aktuální konfigurace
s
a
b
Příklad:
|–
q
1
a
b
|–
q
2
a
b
|–
s
b
q
1
s
b
f
e
c
e
c
a
q
2
a
b
Otázka
:
ab
Î
L
(
M
)
?
|–
q
1
|–
f
|–
q
2
b
|–
q
1
b
KA
M
je definován:
Žádná další
konfigurace
Užití obecného KA
3
/44