WHILE-Programm

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

Syntax

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

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

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

Siehe auch

• GOTO-Programm
• LOOP-Programm
• µ-Rekursion