Der DEA – Zustand j = so viele Musterzeichen passen gerade; Übergänge nach 0 sind nicht gezeichnet
dfa[c][j] – Zeile = gelesenes Zeichen, Spalte = Zustand j
Text
gerade gesetzt / aktueller Zustand / gelesenes Zeichen
aus Spalte X kopiert (Nichtübereinstimmung)
Neustartzustand X
Übergang, den die Suche gerade nimmt
gefunden