Реферат: Семантика оператора case

wp (S₅ , a > 0 Ù b > 0) = ?

S₅ : if a > b then a:=a-b else

if b < a then b:=b-a;

2. if i=0 then j:=0 else j:=r;

{?}

wp (S₆ , x £ y) = ?

S₆ : 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}

Цикл.

Проверка цикла.