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.

Jede WHILE-berechenbare Funktion ist GOTO-berechenbar und umgekehrt sowie Turing-berechenbar.

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