Beispiel
Funktion ist While-berechenbar: es gibt While-Programm, das sie berechnet.
andere Konstrukte können als Abkürzung eingeführt werden, etwa:
Multiplikation: Eingabe: x1, x2, Ausgabe: x0 (Vorbelegung x0 = 0)
while (x2 !=0) {P1; x2 = x1 = 0; }
while (x1 != 0) {P2; x1 = 0 }