Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Frage zu Minimalautomat Schoening S.46/47
Mal ne Frage zum Minimalautomaten:
Mir ist der Schritt 3 nicht so ganz klar:
Also ich soll fuer jedes unmarkierte Paar {z,z’} nachschauen fuer jede Eingabe ob es schon markiert ist, wenn nicht markieren.
Ist dabei die Reihenfolge der Zustaende egal, also ob ich bspsweise
z2z0 oder z0z2 habe.
Bei dem Feld z3z0 bekomme ich fuer a=0 natuerlich z4z0 raus was stimmt, aber fuer a=1 krieg ich z0z2, was ueberhaupt gar nicht existiert. Aber trotzdem wird ein Kreuzchen gemacht…
Ja, du schaust dann einfach bei z2z0.
(in deinem Fall jetzt)