Diese Lösung wäre, wenn ich sie richtig verstehe, in einer Klausur falsch. Du hättest so einen ndet Automaten erzeugt, da nicht alle Kombinationen aus Zuständen und Eingaben genau definiert sind. Konkret bedeutet das, dass du die Kombinationen (s3, a) und (s4, a) nicht definiert hast.
In der Regel treten solche Sackgassenzustände nur bei det Automaten auf. Bei ndet Automaten müssen die Kombinationen nicht zwangsläufig definiert werden.
Max (Tutor)