Stichpunkte

Allgemein
	LOOP-Programme spielen in der Theoretischen Informatik eine Rolle
	insbesondere in Zusammenhang mit Berechenbarkeit
	Wertzuweisungen und endlich oft durchlaufene Schleifen schreiben
	In der einfachen Programmiersprache LOOP kann man nur Additionen
	Jede primitiv-rekursive Funktion ist LOOP-berechenbar und umgekehrt
	Im Unterschied zu GOTO-Programmen und WHILE-Programmen terminieren LOOP-Programme immer
	Allerdings enthält die Menge der LOOP-Programme nur einer Untermenge der berechenbaren Funktionen und damit eine Untermenge der WHILE- bzw
	GOTO-Programme. [Bearbeiten]
Formale Definition
	x_1
	P;P
	mathrm{LOOP}
	mathrm{DO}
	LOOP-Programme haben folgende Syntax in Backus-Naur-Form: <math>P ::= x_i := x_j + c
	P
	|
	... }<math> Variablennamen und <math>c in mathbb{N}<math>. <math>LOOP<math> ist die Menge aller LOOP-Programme nach obiger Definition
	|
	|
	x_i := x_j - c
	mathrm{END}<math> Hierbei sind <math>Var := { x_0
	x_i
	Eine Funktion
	die ein LOOP-Programm nicht berechnen kann ist beispielsweise die Ackermann-Funktion. [Bearbeiten]
Beispiele
	LOOP x DO P END bedeutet: Das Programm P wird x mal ausgeführt
	wobei x den Wert am Beginn der Abarbeitung darstellt (auch wenn man x verändert wird P nur so oft ausgeführt
	wie x am Anfang war). [Bearbeiten]
Siehe auch
	µ-Rekursion [[1] (http://de.wikipedia.org/wiki/Totale_Funktion)]

Dieser Artikel basiert auf dem Artikel LOOP-Programm aus der freien Enzyklopädie wikipedia und steht unter der GNU Lizenz für freie Dokumentation. In der wikipedia ist eine Liste der Autoren verfügbar.