Wie sieht der zugehörige NEA aus?

Hallo ich haben folgenden DEA der die Sprache

S1 = {w | hat als vorletztes Symbol eine 1 ODER hat eine gerade länge} erkennt.

Wie würde der zugehörige NEA aussehen?

Answer 1

[Destranix]

Zustände: {Gerade, Ungerade, Vorletzter, Letzter}

Endzustände: {Gerade, Letzter}

Startzustand: Gerade

Übergangsfunktion: d mit:

d(Gerade, 0) = {Ungerade};

d(Gerade, 1) = {Ungerade, Vorletzter};

d(Ungerade, 0) = {Gerade};

d(Ungerade, 1) = {gerade, Vorletzter};

d(Vorletzter, 0) = d(Vorletzter, 1) = {Letzter};

d(Letzter, 0) = d(Letzter, 1) = {};