Lösungen - Binärautomat

M={ {S0,S1,S2,S3}, E={0,1}, δ, S0, {S1} }

Die folgende Tabelle beschreibt die Zusandsübergangsfunktion δ:

Akzeptiert werden alle Worte, die nicht mit 0 beginnen und mit 1 enden.

Der folgende Automat sollte die Anforderungen erfüllen: