LOOP-Programm

LOOP-Programme spielen in der Theoretischen Informatik eine Rolle, insbesondere in Zusammenhang mit Berechenbarkeit.

Syntax

LOOP-Programme haben folgende Syntax in Backus-Naur-Form:

$P::=x_{i}:=x_{j}+c\,|\,x_{i}:=x_{j}-c\,|\,P;P\,|\,\mathrm {LOOP} \,x_{i}\,\mathrm {DO} \,P\,\mathrm {END}$

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

$LOOP$ ist die Menge aller LOOP-Programme gemäß Backus-Naur-Form.

Siehe auch: GOTO-Programm, µ-Rekursion, WHILE-Programm