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:

ist die Menge aller WHILE-Programme gemäß Backus-Naur-Form.
Jede WHILE-berechenbare Funktion ist Turing-berechenbar.

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

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


Websites: Tagoror | Guajara | Tacoronte Guia | Todo Gomera | Deranet | Radioaficionados | Cinebso | Mi Buscador

Enciclopedia On Line: GNU FDL.