Deterministischer Endlicher Automat - Kurze allgemeine Frage zum Diagramm

[Jack159]

Hallo,

Gegeben sei als Beispiel folgender Deterministischer Endlicher Automat:



Meine Frage bezieht sich auf die Stelle, die mit dem roten Pfeil gekennzeichnet ist, nämlich der Übergang von z0 zu z1.
Dieser Übergang kann ja sowohl mit dem Zeichen "a" als auch mit "b" erfolgen.

Frage:
Ist der Übergang von z0 zu z1, so wie ich ihn hier gezeichnet habe (mit "a, b") korrekt bzw. noch deterministisch?
Oder einfacher gefragt: Ist es bei einem deterministischen endlichen Automaten erlaubt, auf einem Übergangspfeil mehrere mögliche Zeichen zu zeichnen, so wie ich es getan habe? Vorrausgesetzt natürlich, dass dann trotzdem jede Überführung eindeutig ist.

 

[Kanibal]

Ja.

 

[Valeria]

Er ist deterministisch aber nicht vollständig.
Wenn du 2 Zeichen auf eine Kante schreibst, is das so als wären 2 Kanten da.

 

[Sneazel]

Es fehlen die Übergange von z0 bei c
z1 bei a oder b
z2 bei b

Bei uns hieß es immer einfach: alle nicht genannten Übergänge führen automatisch in den Fehlerzustand zF.

 

[Yogi666]

Was Sneazel sagt.
Ein deterministischer endlicher Automat hat eine totale Übergangsfunktion.
Das bedeutet, dass es in jedem Zustand q € Q (alle Zustände) einen Übergang für jedes w € Sigma (Alphabet) geben muss.

 

[Jack159]

Was Sneazel sagt.
Ein deterministischer endlicher Automat hat eine totale Übergangsfunktion.
Das bedeutet, dass es in jedem Zustand q € Q (alle Zustände) einen Übergang für jedes w € Sigma (Alphabet) geben muss.

Das muss aber nur bei vollständigen Automaten so sein. Hier in meinem Beispiel war (mir) die vollständigkeit erstmal unwichtig. Mir ging es nur um das deterministische.