Schleifen mit Bedingungen

• das ist die allgemeinste Form, ergibt (partielle) rekursive Funktionen,
• die terminieren nicht immer

Steuerung am Anfang oder Ende:

while Bedingung Anweisung;

do Anweisung while Bedingung;