\begin{slide}{Schleifen und Unterprogramme}

zu jedem while-Programm kann man ein äquivalentes angeben,
das nur Verzweigungen (if) und Unterprogramme benutzt.

\bigskip

Beweis-Idee: \verb|while (B) A;| $\Rightarrow$

\begin{verbatim}
void s () {
    if (B) { A; s (); }
}
\end{verbatim}

Anwendung: C-Programme ohne Schlüsselwörter.
\end{slide}
