Man konstruiert aus den Xi Automaten Ai und vereinigt diese, markierte jedoch vorher ihre Endzustände (jeweils mit i). Dann deterministisch und minimal machen.
Beim Lesen der Eingabe zwei Zeiger mitführen: auf Beginn des aktuellen matches, und letzten durchlaufenen akzeptierenden Zustand.
Falls Rechnung nicht fortsetzbar, dann bisher besten match ausgeben, Zeiger entsprechend anpassen, und wiederholen.
Beachte: evtl. muß man ziemlich weit vorausschauen:
Tokens X1 = ab, X2 = ab*c, X3 = b, Eingabe abcabbbbbbac.