Erstellen Sie einen deterministischen endlichen Automaten mit dem Alphabet A = {0, 1}, der Binärzahlen verarbeitet und genau die geraden Binärzahlen akzeptiert.
Lösung
Eine Binärzahl ist genau dann gerade, wenn sie auf die Ziffer 0 endet. Daher erfüllt der folgende DEA die Anforderung: