Aufgaben

1. Für E = {aba(x) $\approx$ x}: gilt abbbaa(x) $\approx_{E}^{}$ bba(x)?
2. F = {f (x, f (y, z)) $\approx$ f (f (x, y), z), f (e, x) $\approx$ x, f (i(x), x) $\approx$ e}. Zeige f (x, e) $\approx_{F}^{}$ x.
3. G = {f (x, f (y, z)) $\approx$ f (f (x, y), z), f (f (x, y), x) $\approx$ x}. Zeige f (x, x) $\approx_{G}^{}$ x und f (f (x, y), z) $\approx_{G}^{}$ f (x, z)
4. H = {f (x, f (y, z)) $\approx$ f (f (x, y), z), f (e, x) $\approx$ x, f (x, i(x)) $\approx$ e}. Zeige f (x, e) $\not\approx$_Hx.

Jetzt ad-hoc, später teilw. systematisch/automatisiert

Quellen: TeReSe Kapitel 7.1; Baader/Nipkow Kapitel 3, 4.