Schleifen mit Bedingungen

das ist die allgemeinste Form, ergibt (partielle) rekursive Funktionen, die terminieren nicht notwendig für alle Argumente.

Steuerung

• am Anfang: while (Bedingung) Anweisung
• am Ende: do Anweisung while (Bedingung)

Weitere Änderung des Ablaufes:

• vorzeitiger Abbruch (break)
• vorzeitige Wiederholung (continue)
• beides auch nicht lokal