<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\begin{slide}{Sequentielle Komposition}

  \begin{itemize}
  \item Syntax $P_1 ; P_2$
  \item Semantik
    \begin{itemize}
    \item informal: erst $P_1$, dann $P_2$
    \item formal (Inferenz-Regel)
    \end{itemize}
  \end{itemize}

\end{slide}
</pre></body></html>