für das Termersetzungssystem (mit Variablen X, Y)
R =
{f (a, b, X)→1f (X, X, X), g(X, Y)→2X, g(X, Y)→3Y}:
- geben Sie die Signatur an.
- geben Sie alle Positiononen in
f (g(a, b), g(a, b), g(a, b)) an, auf denen ein b steht
- für welchen Term t gilt
t→1f (g(a, b), g(a, b), g(a, b)) ?
- geben Sie eine R-Ableitung
von
f (g(a, b), g(a, b), g(a, b)) nach t
(aus der vorigen Teilaufgabe) an.
Johannes Waldmann
2013-06-11