0 Daumen
176 Aufrufe

Sagen wir ich habe ein DFA, welches die Sprache L = {ε, a} akzeptiert, wobei ε das leere Wort ist. Nun muss ja der Startzustand auch ein Endzustand sein, weil es das leere Wort akzeptiert. Wenn Ich nun eine a-Transition reinzeichne, brauche ich dann zwingend einen zweiten Endzustand, oder kann die a-Transition ebenfalls auf den Anfangszustand zeigen?

Nur wüsste ich dann nicht mehr, wie man unterscheiden soll ob es das leere Wort UND a akzeptiert oder nur a. Wie ist da die Konvention?

Avatar von

1 Antwort

0 Daumen
 
Beste Antwort

Die a-Transition darf nicht auf den Anfangszustand zeigen, weil dann auch das Wort aa akzeptiert werden würde.

Wie ist da die Konvention?

Das wird nicht anhand einer Konvention entschieden, sondern anhand der Definitionen was ein Lauf eines Automaten auf einem Wort ist, was ein akzeptierender Lauf ist und wann ein Wort vom Automaten erkannt wird.

Avatar von 5,6 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community