Beschreibung in Kurzform
M={ {S0,S1,S2,S3}, E={0,1}, δ, S0, {S1} }
Die folgende Tabelle beschreibt die Zusandsübergangsfunktion δ:
Beschreibung des Akzeptanzverhaltens
Akzeptiert werden alle Worte, die nicht mit 0 beginnen und mit 1 enden. Damit ergibt sich auch die Lösung für Aufgabe (ii).
Automat mit Zusatzbedingung
Der folgende Automat sollte die Anforderungen erfüllen:
