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