Signatur
Σ = {P/2, S/1, Z/0}
Regelmenge
R = {P(Z, y)→y, P(S(x), y)→S(P(x, y))
verschiedene Σ
Welche liefert einen Terminationsbeweis für R
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 >
Johannes Waldmann
2015-12-11