Regeln

Beispiel: Regel (l, r) = (f (x), g(x, x)), Term t = h(1, f (f (2))).

Position p = [2] $ \in$ Pos(t), Teilterm t|p = f (f (2)),

Substitution $ \sigma$ : x $ \mapsto$ f (2) mit t|p = l$ \sigma$,

auf r anwenden: r$ \sigma$ = g(f (2), f (2)),

in t einsetzen: s = t[p : = r$ \sigma$] = h(1, r$ \sigma$) = h(1, g(f (2), f (2))).



Johannes Waldmann 2007-01-30