\begin{slide}{Definition}

Semantik: Anweisung hat \emph{Wirkung}
(Zustandsänderung), die bei Ausführung eintritt.

abstrakte Syntax:
\begin{itemize}\itemsep 0pt
\item einfache Anweisung:
  \begin{itemize}
  \item Zuweisung
\item    Unterprogramm-Aufruf
  \end{itemize}
\item zusammengesetzte Anweisung:
\begin{itemize}
\item
  Nacheinanderausführung (Block)
\item
  Verzweigung (zweifach: if, mehrfach: switch) 
\item
  Wiederholung (Sprung, Schleife)
\end{itemize}
\end{itemize}
\end{slide}

\begin{slide}{Programm-Ablauf-Steuerung}

Ausführen eines Programms im von-Neumann-Modell:   

Was? (Operation) Womit? (Operanden) Wohin? (Resultat)
Wie weiter? (nächste Anweisung)

strukturierte Programmierung: 
  \begin{itemize}
  \item Nacheinander
  \item außer der Reihe 
    (Sprung, Unterprogramm, Exception)
  \item Verzweigung
  \item Wiederholung
  \end{itemize}

engl. \emph{control flow}, 
falsche Übersetzung: Kontrollfluß;

\emph{to control} $=$ steuern,
\emph{to check} $=$ kontrollieren/prüfen

\end{slide}
