\begin{slide}{Übung Fixpunkte}

  \begin{itemize}
  \item
    Fixpunkt der Folge $F^k(\bot)$ für
\begin{verbatim}
F h = \ x -> if x > 23 then x - 11 
             else h (h (x + 14))
\end{verbatim}
  \item
    Fixpunkt der Folge $F^k(\bot)$ für
\begin{verbatim}
F h = \ x -> if x > 10 then x + 11
             else h (2 * x - 8)
\end{verbatim}
  \item Turing-Fixpunkt-Kombinator
    mit Lambda-Calculator

    \url{http://joerg.endrullis.de/lambdaCalculator/}

  \item
    Tupel-Konstruktor und Selektoren
    als Ausdrücke im Interpreter
  \item
    gegenseitige Rekursion $(f, g)$
    als Fixpunkt (\verb|Rec|)
    einer geeigneten Funktion
    (benutzt Tupel)
  \item Hausaufgabe:
    vorige Aufgabe (im Interpreter)
    ohne \verb|Rec|, sondern mit einem
    Fixpunkt-Kombinator

  \end{itemize}

\end{slide}
