geht aus einem LOOP-Programm dadurch hervor, daß dieses um das Konzept der While-Schleife erweitert wird:

Wenn P ein LOOP- bzw. WHILE-Programm ist, so ist auch \begin{eqnarray}\text{WHILE}\,x\ne 0\,\text{DO}\,P\,\text{END}\end{eqnarray}

ein WHILE-Programm. (Interpretation: Wiederhole das Programm P, solange der Wert der Programmvariablen x ungleich 0 ist).

Ein WHILE-Programm berechnet eine Funktion f in dem folgenden Sinne: Wenn das Programm mit den Startwerten n₁,…,n_k in den Programmvariablen x₁,…,x_k gestartet wird, so stoppt dieses mit dem Wert f(n₁,…,n_k) in der Programmvariablen y. Falls f(n₁,…,n_k) undefiniert ist (partielle Funktion), so stoppt das Programm nicht.