\begin{slide}{Lambda-Berechenbarkeit}

  \emph{Satz:} (Church, Turing)

  \begin{itemize}
  \item []
  Menge der Turing-berechenbaren Funktionen 

  (Zahlen als Wörter auf Band)
\item[$=$] Menge der while-berechenbaren Funktionen 

  (Zahlen
  als Registerinhalte)
\item[$=$] Menge der Lambda-berechenbaren Funktionen 

  (Zahlen als Lambda-Ausdrücke)
  \end{itemize}

\end{slide}
