- Für
E = {aba(x) x}
: gilt
abbbaa(x) bba(x)
?
-
F = {f (x, f (y, z)) f (f (x, y), z), f (e, x) x, f (i(x), x) e}
.
Zeige
f (x, e) x
.
-
G = {f (x, f (y, z)) f (f (x, y), z), f (f (x, y), x) x}
.
Zeige
f (x, x) x
und
f (f (x, y), z) f (x, z)
-
H = {f (x, f (y, z)) f (f (x, y), z), f (e, x) x, f (x, i(x)) e}
.
Zeige
f (x, e) Hx
.
Quellen: http://www.cs.vu.nl/~tcs/trs/,
Franz Baader und Tobias Nipkow: Term Rewriting and All That,
http://www21.in.tum.de/~nipkow/TRaAT/
Autotoolisierung dieser Aufgaben? (zwei Fälle)
Johannes Waldmann
2015-12-11