Sei M = ({z0, z1, z2, zf}, {a, b, c}, {a, #}, σ, z0, #, {zf}) mit σ gegeben durch:

σ(z0, a, #) = (z1, a#)

σ(z1, a, a) = (z1, aa)

σ(z1, b, a) = (z2, a)

σ(z2, c, a) = (zf, ε)

Es soll die Sprache T(M) angegeben werden, bei mir wird aber nie eine Sprache erzeugt, weil man nach c direkt beim Endzustand ist und somit nur ein Zeichen vom Keller löschen kann, obwohl man aber davor mehrere im Keller stehen hat und solche Eingaben werden dann nicht akzeptiert (wo der Keller nicht leer ist). Vielen Dank im Voraus an alle, die sich melden :)