\begin{slide}{Orthogonale Systeme}

\begin{itemize}
\item
  ein TES $R$ über $\Sigma$ heißt \emph{nichtüberlappend},
  wenn $R$ keine kritischen Paare besitzt.
\item
  ein TES $R$ heißt linkslinear,
  wenn in keiner linken Regelseite
  eine Variable mehrfach vorkommt.
\item
  ein TES $R$ heißt \emph{orthogonal},
  falls es linkslinear und nichtüberlappend ist.
\end{itemize}

Satz: jedes orthogonale System ist konfluent.

\bigskip

Funktionale Programmierung $\approx$
System $R$ ist orthogonal und \dots (nächste Folie)

\end{slide}
