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