Math
Endliche Automaten
Wandle reguläre Ausdrücke in Automaten um und lies eine Eingabefolge.
Zum Ausprobieren
Einen regulären Ausdruck über a und b mit |, *, Klammern und Verkettung bearbeiten. Ein Thompson-NFA wird in erreichbare DFA-Teilmengen umgewandelt. Das Wort Buchstabe für Buchstabe lesen; Doppelkreise akzeptieren. Grenze: 16 DFA-Zustände.
Gleichungen des Moduls
Gleichungen
Thompson-Konstruktion: Symbol, Verkettung, Vereinigung, Kleene-Stern
DFA-Start = ε-closure(NFA-Start)
δ(S,c) = ε-closure({q : p ∈ S und p —c→ q})
Eine Teilmenge akzeptiert genau dann, wenn sie den akzeptierenden Zustand des NFA enthält
