Beispiel:
Der folgende DEA akzeptiert nur Eingaben mit genau einem .
Hier ist zur Veranschaulichung ein Fehlerzustand dargestellt. Bei Eingabe eines weiteren gelangt man in den Fehlerzustand. Auf die Darstellung eines Fehlerzustands kann verzichtet werden, wenn in einem zusätzlichen Text darauf hingewiesen wird.
Eingaben:
Nun können wir verschiedene Eingaben prüfen, ob diese den Übergangsgraphen erfüllt.
: , wird akzeptiert
: , wird nicht akzeptiert