\begin{slide}{Bsp: Operationale Semantik}

Schleife
\begin{verbatim}
while (B) A
\end{verbatim}

wird übersetzt in Sprungbefehle
\begin{verbatim}
   if (B) ...


\end{verbatim}
(vervollständige!)

Aufgabe: übersetze \verb|for(A; B; C) D| in while!

\end{slide}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
