Завдання до розділу 7

1 Написати найслабшу передумову для оператора y := 3 * x + 1, якщо його постумовою Q є { y < 10 }.

2 Написати найслабшу передумову для оператора y := x + 5, якщо його постумовою Q є { y = 43 }.

3 Написати найслабшу передумову для оператора x := x + 1, якщо його постумовою Q є { x ≤ N }.

4 Написати найслабшу передумову для послідовності операторів:

y := 5 * x – 2,

x := y – 6,

якщо постумовою Q останнього оператора є { x < 2 }.

5 Написати найслабшу передумову для послідовності операторів:

y := 4 * x – 5,

x :=2 * y – 11,

якщо постумовою Q останнього оператора є { x > 3 }.

6 Написати найслабшу передумову для послідовності операторів:

y := 2 * x + 1,

x := y – 4,

якщо постумовою Q останнього оператора є { x > 3 }.

7 Написати найслабшу передумову для послідовності операторів:

a := 3 * (2 * b + a),

b := 2 * a - 1,

якщо постумовою Q останнього оператора є { b > 5 }.

8 Написати найслабшу передумову для умовного оператора

if x>0 then y:=y -2 else y:=y+3 ,

якщо його постумовою Q є { y > 0 }.

9 Написати найслабшу передумову для оператора циклу

while y < > x then y:=y+5,

якщо його постумовою Q є {y=x}.

167