KEL-AD: Lambda - Übergang

Question

Hallo,

verstehe ich richtig, dass bei einem nichtdeterministische Kellerautomaten ein Lambda-Übergang definiert werden kann, auch wenn ein anderer Übergang existiert, der aus dem selben Zustand und dem selben obersten Kellerzeichen abbildet?

Ist meine Lösung zu der Aufgabe (http://www.xwizard.de:8080/Wizz?template=ID-32626) damit auch korrekt?

Vielen Dank für die Hilfe!

 

Answer 1

Hallo,

 

Ja das mit dem Lambda-Übergang bei NEA hast du richtig verstanden.

 

Dein Automat ist jedoch nicht korrekt, da er beispielsweise das leere Wort (m=n=p=q=r=0) oder das Wort aaba (bzw. alle Wörter mit r=0), welche beide in der Sprache enthalten sind, nicht akzeptiert.

 

 

 

Viele Grüße

 

Jannik (Tutor)