Lösungen - Binärautomat

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.

Automat mit Zusatzbedingung

Der folgende Automat sollte die Anforderungen erfüllen: