Aufgaben

Signatur (mit Stelligkeiten): Σ = {e0, s1, p2, m2, h2}

Fragen (leicht):
(schwerer) Σ = {a2, d0}, R = {a(a(d, x), y)→a(x, a(x, y))} : Normalformen? Ableitungsl√§ngen?



Johannes Waldmann 2015-12-11