Syntax

LOOP-Programme bestehen aus den Symbolen LOOP, DO, END, :=, +, - und ; sowie einer beliebigen Anzahl von Variablen und Konstanten. LOOP-Programme haben folgende Syntax in modifizierter Backus-Naur-Form:

${\displaystyle {\begin{array}{lrl}P&:=&x_{i}:=x_{j}+c\\&|&x_{i}:=x_{j}-c\\&|&P;P\\&|&\mathrm {LOOP} \,x_{i}\,\mathrm {DO} \,P\,\mathrm {END} \end{array}}}$

Hierbei sind ${\displaystyle {\mathit {Var}}:=\{x_{0},x_{1},...\}}$ Variablennamen und ${\displaystyle c\in \mathbb {N} }$ Konstanten.

Semantik

Ein Ausdruck der Form

x0 := x1 + c

bedeutet die Zuweisung des um ${\displaystyle c}$ erhöhten Wertes der Variablen ${\displaystyle x_{1}}$ an die Variable ${\displaystyle x_{0}}$. Dabei ist für ${\displaystyle c}$ der Wert Null zulässig, so dass sich auch die direkte Zuweisung des Wertes einer Variablen an eine andere Variable mit diesem syntaktischen Konstrukt formulieren lässt:

x0 := x1 + 0

Ein Ausdruck der Form

x0 := x1 - c

bedeutet die Zuweisung des um ${\displaystyle c}$ verminderten Wertes der Variablen ${\displaystyle x_{1}}$ an die Variable ${\displaystyle x_{0}}$. Bei der Ausführung von Zuweisungen werden negative Werte implizit durch Nullen ersetzt.

Variablen dürfen in Zuweisungsausdrücken gleichzeitig auf der linken und auf der rechten Seite des Symbols := erscheinen. Ein Ausdruck der Form

x := x + c

erhöht beispielsweise den Wert der Variablen ${\displaystyle x}$ um ${\displaystyle c}$.

Die in einem LOOP-Programm verwendeten Variablen werden vor Beginn des Programmablaufs mit vorgegebenen Initialwerten vorbelegt.

Ein Ausdruck der Form

P1; P2

bedeutet die Hintereinanderausführung der Teilprogramme ${\displaystyle P_{1}}$ und ${\displaystyle P_{2}}$ in dieser Reihenfolge. Ein Ausdruck der Form

LOOP x DO P END

bedeutet die ${\displaystyle x}$-fache Ausführung des Teilprogramms ${\displaystyle P}$, wobei ${\displaystyle x}$ den Wert am Beginn der Abarbeitung darstellt. (Auch wenn ${\displaystyle x}$ durch die Ausführung von ${\displaystyle P}$ verändert wird, wird ${\displaystyle P}$ nur so oft ausgeführt, wie ${\displaystyle x}$ am Anfang war.) Hat ${\displaystyle x}$ dabei den Wert Null, so wird das Teilprogramm ${\displaystyle P}$ innerhalb des LOOP-Ausdrucks überhaupt nicht ausgeführt. Dieser Umstand erlaubt die Formulierung von Verzweigungen in LOOP-Programmen durch die bedingte Ausführung von Teilprogrammen in Abhängigkeit vom Wert einer Variablen.

Addition

Das folgende LOOP-Programm weist der Variablen ${\displaystyle x_{0}}$ die Summe der Werte der Variablen ${\displaystyle x_{1}}$ und ${\displaystyle x_{2}}$ zu.

x0 := x1 + 0;
LOOP x2 DO
   x0 := x0 + 1
END

Dabei bekommt zunächst ${\displaystyle x_{0}}$ den aktuellen Wert von ${\displaystyle x_{1}}$ zugewiesen und wird dann um den Wert von ${\displaystyle x_{2}}$ inkrementiert.

Dieses Programm lässt sich wie ein Unterprogramm in anderen LOOP-Programmen verwenden. Solche Verwendungen werden durch eine einfache Erweiterung der ursprünglichen LOOP-Syntax in der Form

x0 := x1 + x2

beschrieben.

Dabei gilt zu beachten, dass LOOP-Programme keine Unterprogramme aufrufen können, sondern diese Unterprogramme inlined und somit ein Teil des Hauptprogramms werden. Andernfalls bestände die Möglichkeit einer zirkulären Abhängigkeit und damit einhergehend der Verlust der endlichen Laufzeit von LOOP-Programmen.

Multiplikation

Das folgende LOOP-Programm erhöht den Wert der Variablen ${\displaystyle x_{0}}$ um den Wert des Produktes der Werte der Variablen ${\displaystyle x_{1}}$ und ${\displaystyle x_{2}}$.

LOOP x1 DO
  x0 := x0 + x2
END

Das Programm benutzt dabei das im ersten Beispiel definierte Unterprogramm der Addition. Die ausgeführte Multiplikation wird dabei durch das ${\displaystyle x_{1}}$-fache Addieren des Wertes von ${\displaystyle x_{2}}$ zum Wert von ${\displaystyle x_{0}}$ realisiert.

Durch Einsetzen des LOOP-Programms für die Addition erhält man das äquivalente Programm in der ursprünglichen LOOP-Syntax.

LOOP x1 DO
  x0 := x0 + 0;
  LOOP x2 DO
    x0 := x0 + 1
  END
END

IF THEN ELSE

Das folgende LOOP-Programm simuliert eine if x₁ > c then P1 else P2 Anweisung, wobei x₁ eine Variable, c eine Konstante und P1, P2 beliebige LOOP-Programme sind. In dem Programm werden drei neue Variablen x_n1, x_n2, x_n3 verwendet.

xn1:=x1-c; xn2:=0; xn3:=1;
LOOP xn1 DO
  xn2 := 1
  xn3 := 0
END;
LOOP xn2 DO
  P1
END;
LOOP xn3 DO
  P2
END;

Das folgende LOOP-Programm simuliert eine if x₁ = c then P1 else P2 Anweisung, wobei x₁ eine Variable, c eine Konstante und P1, P2 beliebige LOOP-Programme sind. In dem Programm werden vier neue Variablen x_n1, x_n2, x_n3, x_n4 verwendet.

xn1:=x1-(c-1); xn2:=x1-c; xn3:=1; xn4:=1;
LOOP xn1 DO
  LOOP xn2 DO
     xn3:=0;
  END;
  LOOP xn3 DO
     P1;
     xn4:=0;
  END
END;
LOOP xn4 DO
  P2
END