Konstruktor-Systeme

Für TES R über $\Sigma$ : ein Symbol f $\in$ $\Sigma$ heißt definiert, wenn es als Wurzel einer linken Regelseite in R vorkommt.
Alle anderen Symbole heißten Konstruktoren.
R heißt Konstruktor-System, falls in jeder linken Seite nur ein definiertes Symbol vorkommt (und zwar in der Wurzel).

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