Abbildung 5.51 (AABD)
nicht erkannt (AACD)
wie GREP (Listing 5.26)
Ausdruck
Text
prüfen
Der NEA – Zustand i ist das Zeichen re[i], M ist der Endzustand. Grau: ε-Übergänge, schwarz: Übereinstimmung
Text
in pc: möglicher Zustand
passt zum Zeichen (match)
auf dem Stapel
gerade bearbeitet
Endzustand erreicht
◀ Zurück
▶ Abspielen
Schritt ▶
Bis fertig ▶▶
↺ Neu starten
Tempo
Java (nach Algorithmus 5.9, Listing 5.24 und 5.25)
Ausgabe von main()
Protokoll