Aufgaben

Signatur (mit Stelligkeiten): $ \Sigma$ = {e0, s1, p2, m2, h2}

Fragen (leicht):
(schwerer) $ \Sigma$ = {a2, d0}, R = {a(a(d, x), y)$ \to$a(x, a(x, y))}: Normalformen? Ableitungslängen?



Johannes Waldmann 2006-02-02