Ausdruck → AFN
AFN → AFD
Minimieren
CYK
Aufgabenstellung
Symbole aus einem Buchstaben oder einer Ziffer; | Vereinigung, * Hüllenbildung, + eins oder mehr, ? optional, Klammern und ε.
Jedes Teilstück nummeriert seinen Anfangszustand vor seinen Kindern und seinen Endzustand danach; bei der Konkatenation ist der Endzustand des ersten der Anfangszustand des zweiten (ohne ε).Aho et al. §3.7.4 · Pisa PLP-05
Trace
N(a): zwei Zustände, 2 und 3, durch „a“ verbunden.
Schritt 1 von 7 N(a): zwei Zustände, 2 und 3, durch „a“ verbunden.
Die Konkatenation ist kein eigener Schritt: Sie erzeugt keine Zustände, sie verbindet nur das Ende eines Teilstücks mit dem Anfang des nächsten.
AFN mit 11 Zuständen; Anfangszustand 0, Finalzustand 10.
Der ganze Faden:der CMOS-Inverterdas Logikgatterdas Assemblerprogrammdas Betriebssystemdie Automaten (du bist hier)