Wie kann man ein DFA darstellen, welches das leere Wort akzeptiert?

Question

Sagen wir ich möchte ein DFA erstellen, welches die reguläre Sprache L = {ε, a} akzeptiet.

Wie kann ich es nun so machen, dass das DFA das leere Wort akzeptiert? MUSS dann der Anfangszustand ein Endzustand sein, bevor irgendeine Aktion getätigt wurde, oder kann man genau wie bei anderen Wörtern auch einfach die Pfeile mit einem ε einzeichnen?

Answer 1

Der Anfangszustand muss Endzustand sein.

Wenn du ε-Transitionen hinzufügst, dann ist es kein DFA mehr.