---

Geschrieben von Rah2k am 14.12.2018 um 17:16:

  Hilfe bei definieren eines Endlichen Automaten

Hallo,

ich habe etwas Probleme ein Zustandsdiagramm/Zustandstabelle aus einer gegebenen Sprache zu erstellen. Beispiel aus unserem Skript:

Aufgabe:
START = ( „0“, A ) | ( „1“, B ) ;
A = ( „1“, B ) | epsilon ;
B = ( „0“, A ) | epsilon ;

Definieren Sie den endlichen Automaten zur Erkennung dieser Sprache. Erstellen Sie das entsprechende Zustandsdiagramm.

Lösung:
Im Anhang

Warum kann ich von S1/S2 nur mit 0 bzw. 1 zum Zustand S3? Evtl. kann die Lösung zu der Aufgabe mir verständlich erklären?

Danke vorab!