Termersetzung

für das Termersetzungssystem (mit Variablen X, Y) R = {f (a, b, X)→₁f (X, X, X), g(X, Y)→₂X, g(X, Y)→₃Y}:

• 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→₁f (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.