Die durch leeren Keller akzeptierte Sprache: LK(A) = {w | z : (w, z0,[y0])(, z,)}
Die durch Endzustandsmenge F akzeptierte Sprache: LF(A) = {w | z F, k Y* : (w, z0,[y0])(, z, k)}
(Beachte in beiden Fällen: -Übergänge sind noch möglich.)