\begin{slide}{Iteration (Rekursion)}

  \begin{itemize}
  \item Syntax: $\mu P. (\underbrace{\ldots P \ldots}_Q)$
    
    $P$ wird definiert durch einen Ausdruck $Q$, 
    der $P$ enthält

  \item Semantik (Inferenz-Regel)

    wenn $Q [P:= (\mu P.Q)] \stackrel{a}{\to} R$,
    
    dann $(\mu P.Q) \stackrel{a}{\to} R$

  \end{itemize}

\end{slide}
