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.