: = {(t, s) | (l, r) R, p Pos(t) : ts}
liefert nichtdeterministisches Berechnungsmodell (vgl. Grammatiken/Wortersetzungssysteme)
Fragen:
dabei: Resultat = Term, auf den keine Regel anwendbar ist = Normalform.