====== Lösungen - Binärautomat ======

++++ Beschreibung in Kurzform |

<code>
M={ {S0,S1,S2,S3}, E={0,1}, δ, S0, {S1} }
</code> 


Die folgende Tabelle beschreibt die Zusandsübergangsfunktion δ:

{{:faecher:informatik:oberstufe:automaten:uebungen:binaer01:lsgdelta.png?440|}}

++++

++++ 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:

{{ :faecher:informatik:oberstufe:automaten:uebungen:binaer01:zusatzbed.png?440 |}}

++++