wp (S6 , x £ y) = ?

S6: if x > y then begin t:=x;x:=y;y:=t

                                             end;

   {i=n Ù j=m}

   if i=0 then j:=0;

{?}

Вычислить:

wp(x:=2*y+3, х=13)

wp(x:=х+y, х<2*y)

wp(j:=j+1, 0<j Ù("i: 0 £ i £ j: b[i]=5))

wp(x:=х*y , х*y=c)

4. if w £ r then begin r:=r-w;

                              q:=q+1;

                      end ;

     {q * w+r = x Ùr ³0}

case  c  of

¢ + ¢  : p:=p+1;

¢ - ¢   : m:=m+1;

¢(¢, ¢)¢ : b:=b+1;

¢*¢,¢/¢ : p:=b+1;

    end

    {p>0, m>0, b=0}