\begin{slide}{Beispiele}

  \begin{itemize}
  \item 
vordefinierte Kombinatoren:

$ I =\lambda x.x, 
K = \lambda xy.x, 
S =\lambda xyz.xz(yz) $


Ü: Berechne Normalform von $S K K x$, von $S I I x$
\item
weitere, z. B. $B=\lambda x y z.x(yz), C=\lambda xyz.xzy,
J = \lambda xyzw.xy(xwz)$

Ü: simuliere $B$ und $C$ durch $I$ und $J$
  \end{itemize}

\end{slide}
