Sprachen von Keller-Automaten

Die durch leeren Keller akzeptierte Sprache: L_K(A) = {w | $\exists$z : (w, z₀,[y₀])$\to^{*}_{}$($\epsilon$, z,$\epsilon$)}

Die durch Endzustandsmenge F akzeptierte Sprache: L_F(A) = {w | $\exists$z $\in$ F, k $\in$ Y^* : (w, z₀,[y₀])$\to^{*}_{}$($\epsilon$, z, k)}

(Beachte in beiden Fällen: $\epsilon$-Übergänge sind noch möglich.)