Beispiel wfmA

Signatur Σ = {P/2, S/1, Z/0}.

Regelmenge R = {P(Z, y)→y, P(S(x), y)→S(P(x, y))

verschiedene Σ-Algebren über $\mathbb {N}$, überprüfe Eigenschaften.

Welche liefert einen Terminationsbeweis für R?

• [P](x, y) = x + y,[S](x) = x + 1,[Z] = 0
• [P](x, y) = 2x,[S](x) = x + 1,[Z] = 1
• [P](x, y) = 2x + y + 1,[S](x) = x + 1,[Z] = 0

Aufgabe: finde kompatible wfmA für

R∪{M(Z, y)→Z, M(S(x), y)→P(M(x, y), y)}

Aufgabe: ...für A(A(D, x), y)→A(x, A(x, y))

Merke: kompatibel: links > rechts, Modell: links = rechts,