\begin{slide}{Konstruktor-Systeme}

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

Beispiele: $\{ P(E,y) \to \dots, P(S(x),y) \to \dots, 
M(E,y) \to \dots, M(S(x),y) \to \dots\}$
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.

\end{slide}
