Hallo uzdoa,
Anhand des Bildes (Beispielaufgabe und Lösung) wird das PPL für regläre Sprachen vllt. etwas deutlicher.
Wichtig ist, dass sich der Abschnitt "Daraus folgt" tatsächlich aus den Forderungen (obendrüber) ergibt. Mit etwas formalem Verständnis, sollte das dann nachvollziehbar sein.
Da $ x = 0^{j-k} $ , $ y = 0^k $ und $ z = 0^{n-j} 1^{2n} $ (durch obige Anforderungen) ergeben sich für $ i = 2 $ die letzen beiden Abschnitte.
Da $x y^2 z $ nicht Teil der Sprache $ L_6 $ ist, aber von einem EA, der $ L_6 $ verarbeiten sollte erkannt würde, kann $ L_6 $ nicht von einem EA akzeptiert werden.
Viel Erfolg,
Marvin (Tutor)