Übergangsrelation
(w, z, k)(w', z', u'k'), falls
- w = xw' für
x
und k = yk'
und
(z', u') T(x, z, y)
- oder w = w'
und k = yk'
und
(z', u') T(, z, y)
akzeptierte Sprachen:
- 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.)
Johannes Waldmann
2008-01-24