Aufgabe 2.

1
//alles mit syntactic sugar aus 2.3
//hier wird die funktion div2 implementiert
x_i:=div2(x_j)
Input: x_j
x_i:=0;
x_m:=x_j-x_k;
if x_m=0
then
x_n:=2
else
x_n:=0;
for x_j
do
x_k++;
x_k++;
x_l++;
x_m:=x_j-x_k;
if x_n=0
then
if x_m=0

then
else

else

x_i:=x_l;
x_n:=23
x_n:=0

x_n:=0

od
//hier wird p aus lemma 3.1 implementiert
x_i:=p(x_j, x_k)
Input: x_j
x_k
x_l:=x_j+x_k;
x_m:=x_l+1;
x_i:=x_l*x_m;
x_i:=div2(x_i);
x_i:=x_k+x_i;
//ein z fuer i wird bestimmt
x_i:=z4i(x_j)
Input: x_j
x_k:=x_j;
x_k++;
x_i:=x_j*x_k;
x_i:=div2(x_i)

then

//hier wird das groesste z, sodass z(z+1)/2=<p berechnet

x_i:=lz4p(x_j, x_k)
//Largest Z 4 P
Input: x_j
x_k
x_p:=p(x_j, x_k);
x_q:=x_p*x_p;
if x_p=0
then
x_i:=0
else
for x_q
do
if x_m=0
then
x_i++
else
x_l:=1;
x_z:=z4i(x_i);
x_l:=x_z-x_p;
if x_m=0
then
if x_l=0
x_l:=x_p-x_z;

if x_l=0
else

//Z 4 I

then

x_m++

x_m:=666 //PROBLEM!

else

x_i--;

x_m++
else

x_l:=23

od
//hier wird pi_2 berechnet, wobei vorher intern p berechnet wird
x_i:=pi_2(x_j, x_k)
Input: x_j
x_k
//x_j und x_k als input fuer p a
us lemma 3.1
x_i:=p(x_j, x_k);
x_z:=lz4p(x_j, x_k);
x_j:=z4i(x_z);
x_i:=x_i-x_j
//hier ... nun
x_i:=pi_1(x_j,
Input: x_j
us lemma 3.1
x_z:=lz4p(x_j,
x_i:=pi_2(x_j,
x_i:=x_z-x_i

pi_1 berechnet, wobei vorher intern p berechnet wird

x_k)
x_k
//x_j und x_k als input fuer p a
x_k);
x_k);

//... Ja! Es ist FOR-Berechenbar!