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 am Wortende sind noch möglich.