\begin{slide}{Normalformen}

Für eine zweistellige Relation $\rho$ auf $M$

(zum Beispiel eine Ersetzungsrelation $\to_R$ auf $\Term(\Sigma)$)

heißt $x\in M$ eine $\rho$-Normalform,
falls $\neg\exists y\in M: \rho(x,y)$.

\bigskip

Beachte: für passende $\rho$ und $x$ kann vorkommen:
\begin{itemize}
\item
  $p$ hat mehrere Normalformen
\item
  $p$ hat keine Normalform
\end{itemize}

\end{slide}
