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}
Přijímaný jazyk: Tři typy
29/50