\punkte{8} 
\begin{itemize}\itemsep 5cm
\item 
  Welches ist die Bedeutung der Aussageform $\{V\} P \{N\}$
  im Hoare-Kalkül? 
\item[] 
  Geben Sie eine wahre und eine falsche
  Aussage dieser Form an.
\item Wodurch wird eine kontextfreie Grammatik
  zu einer Attributgrammatik erweitert? 
\item
   Geben Sie einen regulären Ausdruck 
   für die Spursprache dieses Programms an.
\begin{verbatim}
while (P) { A; if (Q) { B; } C; }
\end{verbatim}
Das Spur-Alphabet ist $\{A,B,C,P_0,P_1,Q_0,Q_1\}$,
dabei bedeuten \\
$A:$ die Anweisung $A$ wird ausgeführt, \\
$P_0$ (bzw. $P_1$): der Ausdruck $P$ wird ausgewertet 
und ergibt \emph{falsch} (bzw. \emph{wahr}).

\end{itemize}
