Hallo,
woran erkennt man bei dem definierten Kellerautomaten, dass er nichtdeterministisch ist? Ich dachte, dass dafür eine Konfiguration auf zwei verschiedene Zustände mit Keller zeigen muss, was ja hier nicht der Fall ist, alles ist eindeutig definiert. Bei dem Ablauf dazu in Teil b) ist dann an einem Abschnitt eine Verzweigung mit einem a oder dem leeren Wort. Wieso ist genau an dieser Stelle beides möglich? Hängt das auch damit zusammen, dass der Kellerautomat als nichtdeterministisch gekennzeichnet ist?
Vielen Dank schon mal fürs Anschauen und viele Grüße