
\begin{slide}{Lokale Konfluenz}


Eine zweistellige Relation $\rho$ heißt \emph{lokal konfluent}, wenn 
\[ \forall x, y_1,y_2: \rho(x,y_1)\wedge \rho(x,y_2)\Rightarrow
 \exists z: \rho^*(y_1,z)\wedge \rho^*(y_2,z)
\]
\bigskip
Beachte: es gibt Relationen $\rho$,
die lokal konfluent sind, aber nicht konfluent.
\bigskip
Satz: wenn $\rho$ terminiert und lokal konfluent ist,
dann ist $\rho$ konfluent.


\end{slide}
