Iteration (Rekursion)

• Syntax: μP.()

  P wird definiert durch einen Ausdruck Q, der P enthält

• Semantik (Inferenz-Regel)

  wenn Q[P : = (μP.Q)]R,

  dann (μP.Q)R