Kellerautomat Determinismus und Nichtdterminismus?
Ich rechten Automaten sieht man einen NFA, ich lese ein a und gehe von dem Zustand links in den oberen oder den unteren Zustand über => Nichtdeterminismus Klar! Jetzt habe ich einen Kellerautomaten (links unten im Bild). Regel: a, A | A A Lese a aus meinem Wort und Groß A aus meinem Keller. Schreibe dann ein A zusätzlich in meinen Keller, wo A schon steht. Regel: espi, B | epsi Lese ein epsi, in meinem Keller steht ein Groß B. Schreibe nichts in meinen Keller. Hier liegt weiterhin Determinismus vor. Soweit ok. Jetzt: Warum ist jetzt hier der Determinismus verletzt? a,A ist doch was anderes wie espi,B sowie espi, A
