Wieso handelt es sich bei dem Automat in a) um einen nEA?

Question

Ich verstehe nicht ganz wieso der angegebene Automat in Teilaufgabe a) nicht determinitisch ist. Ist dem so weil für die hinteren Zustände jeweils nur ein Pfeil definiert ist?

Answer 1

Hallo!

 

Der Automat ist an mehreren Stellen nicht deterministisch.

Zum Einen, wie du schon schreibst, ist beispielsweise im Zustand s2 nicht definiert, was passiert, wenn eine 1 eingelesen wird.

Zum Anderen ist nicht eindeutig, in welchen Zustand der Automat wechselt, wenn sich der Automat in s0 befindet und eine 0 eingelesen wird.

Beides sind Merkmale für nichtdeterministische endliche Automaten.

 

Viele Grüße

Sebastian Frey (Tutor)