Hallo uqyxt,
Die Wörter der Sprache besteht aus den Wiederholungen der Zeichenfolge aab (also z.B. aabaabaab).
Die Idee der ersten Zeile ist, dass das 1. a dieser Folge eingelesen und in den Keller gepusht wird.
In der dritten Zeile wird das 3. a dieser Folge eingelesen und das a im Keller bleibt einfach stehen. Hier muss auch der Zustand gewechselt werden, weil wir sonst nicht mehr aus der dritten Zeile nicht mehr herauskommen (kannst du ja mal ausprobieren, was passiert wenn statt s1 s0stehen würde)
In der vierten Zeile wird nun das b eingelesen und das a im Keller gepopt. Damit haben wir einmal die Zeichenfolge aab eingelesen und wechseln in den Endzustand.
Im Endzustand geht es aber weiter mit dem Einlesen des nächsten a und das Ganze fängt von vorne an (fünfte Zeile).
Nun soll aber auch das leere Wort akzeptiert werden, weshalb wir einen einen λ-Übergang von s0 brauchen (zweite Zeile). Dies macht den Kellerautomaten dann nichtdeterministisch.
Ich hoffe, das hilft dir weiter.
Grüße
Jahn (Tutor)