LOOP-Berechenbarkeit

Eine Funktion ist LOOP-berechenbar, wenn sie durch ein Programm berechnet werden kann, das nur aus Zuweisungen (x := y + c, x := y - c), Sequenzen (P1; P2) und LOOP x DO P END-Schleifen besteht. Die Anzahl der Schleifendurchläufe ist dabei immer im Voraus festgelegt.