WHILE-Programm

Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier.
WHILE-Programme spielen in der Theoretischen Informatik eine Rolle insbesondere in Zusammenhang mit Berechenbarkeit .

Syntax

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

<math>P ::= x_i := x_j + \ | \ x_i := x_j - \ | \ P;P \ | \ \ x_i \ne 0 \ \mathrm{DO} \ \ \mathrm{END}</math>

<math>WHILE</math> ist die Menge aller WHILE-Programme Backus-Naur-Form .

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

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

Bücher zum Thema WHILE-Programm

Dieser Artikel von Wikipedia unterliegt der GNU FDL.

Impressum • Lesezeichen setzen • Seite versenden • Seite drucken

HTML-Code zum Verweis auf diese Seite:
<a href="http://www.uni-protokolle.de/Lexikon/While-Programm.html">WHILE-Programm </a>