theoretische informatik ...
hatten wir zwar noch nicht, aber nach meinem buch ist:
jede wertzuweisung der form:
xi := xj +c und xi := xj -c
ein LOOP programm, wobei c eine konstante ist.
die definition ist wie folg:
eine funktion f: N ^k -> n heißt LOOP berechenbar, falls es ein LOOP programm P gibt, das f in dem sinne berechnet, dass P, gestartet mit n1, ..., nk in den variablen x1, ..., xk (und 0 in den restlichen varibalen) stoppt mit dem wert f(n1,...,nk) in der variablen x0.
jedes LOOP kann auch als WHILE dargestellt werden.
ebenso kann man durch ein LOOP das IF_THEN_ELSE nachahmen.
aber das bringt dir jetzt nix. ich rate zu dem auch mir empfohlenen buch:
theoretische informatik kurzgefasst von schöning, da stehen entscheidende dinge dazu drin. aber in anbetracht der zeitnot ist das eher ein tip für die folgenden aufgaben.