Motivation

gesucht ist Entscheidungsverfahren für das Wortproblem:


Plan: Vergleich der E -Normalformen von s, t .


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