Семантика оператора “case”

Информация - Компьютеры, программирование

Другие материалы по предмету Компьютеры, программирование

Для того чтобы скачать эту работу.
1. Подтвердите что Вы не робот:
2. И нажмите на эту кнопку.
закрыть



Постусловие:(Fctrl=) }

vari , n , fctrl: integer;

begin{ T }

write(Введите значение n = );

readln( n ); { n N }

if n < 0 then { n < 0 }writeln (Ошибка: n не может быть < 0)

else

begin{ n 0 }

if n = 0 then {n=0} fctrl:=1 {n=0fctrl=1(i не определенно)}

else

begin{ n > 0 }

fctrl : =1 ;

{n=0 fctrl=1}

for i : =2 to n do fctrl : = fctrl i

{i: 2 i n : k : 1k<i : k};

{ n>0 fctrl=(i : 1i<n : i) }

writeln ( При n = , n , n! = , fctrl )

end

{ n 0 fctrl= n! };

end

end {Program}

Рис. 11.2.

Упражнения:

 

{?}

1. if a=1 then b:=a else b:=a+1;

{b=1}

{i=n j=m}wp (S5 , a > 0 b > 0) = ?

S5: 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 (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:=2y+3, х=13)

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

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}Цикл.

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

Доказать, что Р до входа в цикл

i: 1 i n : {Pi} S {P}

PBBR

Доказать,что в следующих циклах Р - инвариант и цикл заканчивается в нужном состоянии R:

1.

{0 n }

i:=0 ;

{P: 0 i n x b [0: i-1]}

while (i < n) and (x b[i]) do i:=i+1;

{R: (0 i n x= b[i])( i = n x b [0: i-1])}

2.

{0 < n }

i:=1 ;

{P: 0 < i n (p: i=2p)}

while 2i n do i:=2i ;

{R: 0 < i n< 2i (p: i=2p)}.

Список литературы

Для подготовки данной работы были использованы материалы с сайта