Definice: Nechť M = (Q, S, G, R,
s, S,
F) je ZA.
1) Jazyk přijímaný ZA M přechodem do koncového stavu, značen jako L(M)f , je definován:
L(M)f = {w: w Î S*, Ssw |–* zf, z Î G*, f Î F}
2) Jazyk přijímaný ZA M vyprázdněním zásobníku, značen
jako L(M)e, je definován:
L(M)e = {w: w Î S*, Ssw |–* zf, z = e, f Î Q}
3) Jazyk přijímaný ZA M přechodem do koncového stavu a vyprázdněním zásobníku, značen jako L(M)fe, je definován:
L(M)fe = {w: w Î S*, Ssw |–* zf, z = e, f Î F}