LOOP und WHILE Programme Flashcards
Syntax von LOOP
- Variablen(x1, x2..)
- Konstanten(0 und 1)
- Symbole(:= + ;)
- Schlüsselwörter: LOOP DO ENDLOOP
Zuweisungen im LOOP Programm
x_i:= x_j + c
Hintereinanderausführung zweier LOOP Programme
P1; P2
LOOP Konstrukt + Bedeutung
LOOP x_i DO P ENDLOOP
Bedeutung: P wird x_i mal hintereinander ausgeführt
Initialisierung der LOOP/WHILE Programms
Die Eingabe ist in den Variablen x_1, …x_m enthalten, alle anderen Variablen werden mit 0 initialisiert
Ergebnis der LOOP/WHILE Programms steht in Variabel
x0
P ist Zuweisung x_i:= x_j + c , dann [P] (r1,…,rk) =
(r_1, …, r_i-1, r_j+c, r_i+1, …, r_k)
P = P1; P2 , dann [P] (r1,…,rk) =
[P2] ([P1] (r_1, … r_k))
P = LOOP x_i DO Q ENDLOOP, dann [P] (r1,…,rk) =
= [Q]^(r_i) (r_1, … r_k)
IF kann mit einem … Programm simuliert werden
LOOP
Syntax von WHILE
- Variablen(x1, x2..)
- Konstanten(0 und 1)
- Symbole(:= + ; ≠)
- Schlüsselwörter: WHILE DO ENDWHILE
WHILE Konstrukt + Bedeutung
WHILE x_i ≠ 0 DO P ENDWHILE
Bedeutung: P wird so lange ausgeführt bis x_i den Wert 0 erreicht
Jede …- berechenbare Funktion ist auch … - berechenbar.
LOOP, WHILE
… Programme terminieren immer, aber … Programme terminieren nicht immer.
LOOP, WHILE
Satz über Terminierung der LOOP Programme
Jedes LOOP Programm hält auf jeder möglichen Eingabe nach endlich vielen Schritten an.