Konstruktor-Systeme

Beispiele: {P(Z, y)→..., P(S(x), y)→..., M(Z, y)→..., M(S(x), y)→...} ist Konstruktor-System, definierte Symbole sind {P, M} , Konstruktoren sind {S, Z}

aber {A(A(D, x), y)→A(x, A(x, y))} nicht.



Johannes Waldmann 2015-12-11