Konstruktor-Systeme

Beispiele: {P(E, y)$ \to$..., P(S(x), y)$ \to$..., M(E, y)$ \to$..., M(S(x), y)$ \to$...} ist Konstruktor-System, definierte Symbole sind {P, M}, Konstruktoren sind {S, E}

aber {A(A(D, x), y)$ \to$A(x, A(x, y))} nicht.



Johannes Waldmann 2007-01-30