LOOP-Programme spielen in der Theoretischen Informatik eine Rolle, insbesondere in Zusammenhang mit Berechenbarkeit.
LOOP-Programme haben folgende Syntax in Backus-Naur-Form:
P ::= x i := x j + c | x i := x j − c | P ; P | L O O P x i D O P E N D {\displaystyle P::=x_{i}:=x_{j}+c\,|\,x_{i}:=x_{j}-c\,|\,P;P\,|\,\mathrm {LOOP} \,x_{i}\,\mathrm {DO} \,P\,\mathrm {END} }
Hierbei sind V a r := { x 0 , x 1 , . . . } {\displaystyle Var:=\{x_{0},x_{1},...\}} Variablennamen und c ∈ N {\displaystyle c\in \mathbb {N} } .
L O O P {\displaystyle LOOP} ist die Menge aller LOOP-Programme gemäß Backus-Naur-Form.
