gesucht ist Entscheidungsverfahren für das Wortproblem:
Plan: Vergleich der →E
Beispiel:
E = {(P(Z, y), y),(P(S(x), y), S(P(x, y))}
s = P(S(S(Z)), x), t = S(P(P(Z, S(Z)), x))
Probleme: 1. Existenz und 2. Eindeutigkeit der Nf.
Bsp:
E = {(aba, ε)}, s = abbbaa, t = bba
Johannes Waldmann
2015-12-11