Sprachproblem: Verständnis
-
Michael E. schrieb:
CStoll: Dein Automat verwirft 1^n, n in |N_0.
Sorry, hab's schon korrigiert. Wenn da noch weitere Fehler drin sind, überlasse ich die Viper als Übung
-
Übung ist immer gut
Was ich hier jetzt bloß nicht ganz verstehe ist das, was du hier noch ergänzt hast. Für mich wäre der Automat so korrekt gewesen ohne dem zusätzlichen Zustand C.
-
A und B sind beides akzeptierende Zustände (A für den Teil 1^n, auf den mich Michael hingewiesen hat). C ist ein nicht-akzeptierender Auffang-Zustand für Fehl-Eingaben wie "101".