→R : = {(t, s) | ∃(l, r)∈R, p∈Pos(t) : t→(l, r), ps}
liefert nichtdeterministisches Berechnungsmodell (vgl. Grammatiken/Wortersetzungssysteme)
Fragen:
dabei: Resultat = Term, auf den keine Regel anwendbar ist = Normalform. Johannes Waldmann 2015-12-11