Математическая логика и теория алгоритмов. Анкудинов Г.И - 33 стр.

UptoLike

ВУЗ: 

СЗТУ | Санкт-Петербург

Составители: 

Рубрика: 

117
Таблица 2.2
Путь 1.1
Оператор
Условие
x
y
Условие для пути 1.1:
(x
0
<-1) & (y
1
>-2) =
(x
0
<-1) & (y
0
>-2)
x:=x+y
x
0
<-1 x
1
=x
0
+y
0
y
1
=y
0
y:=x+y
y
1
>-2 x
2
=x
1
y
2
=x
1
+y
1
Функция пути 1.1:
x
2
=x
1
=x
0
+y
0
,
y
2
=x
1
+y
1
=x
0
+y
0
+y
0
=x
0
+2y
0
,
т.е. (x,y):=(x
0
+y
0
, x
0
+2y
0
)
Таблица 2.3
Путь 1.2
Оператор
Условие
x
y
Условие пути 1.2:
(x
0
<-1)&(y
1
≤-2)=
(x
0
<-1)&(y
0
≤-2)
x:=x+y
x
0
<-1 x
1
=x
0
+y
0
y
1
=y
0
x:=x-y
y
1
≤-2 x
2
=x
1
-y
1
y
2
=y
1
Функция пути 1.2:
x
2
=x
1
-y
1
=x
0
+y
0
-y
0
=x
0
;
y
2
=y
1
=y
0
, т.е. (x,y):=(x
0
, y
0
)
Таблица 2.4
Путь 2.1
Оператор
Условие
x
y
Условие пути 2.1:
(x
0
≥-1)&(y
0
<0)&(y
1
>-2) =
(x
0
≥-1)&(x
0
-y
0
>-2)&(y
0
<0)=
(x
0
≥-1)&(y
0
<0)&(y
0
<x
0
+2)=
(x
0
≥-1)&(y
0
<0)
y:=x-y
(x
0
≥-1) &
(y
0
<0)
x
1
=x
0
y
1
=x
0
-y
0
y:=x+y
y
1
>-2 x
2
=x
1
y
2
=x
1
+y
1
Функция пути 2.1:
x
2
=x
1
=x
0
; y
2
=x
1
+y
1
=
x
0
+x
0
-y
0
=2x
0
-y
0
,
т.е. (x,y):=(x
0
, 2x
0
-y
0
)
Таблица 2.5
Путь 2.2
Опера-
тор
Условие
x
y
Условие пути 2.2:
(x
0
≥-1)&(y
0
<0)&(y
1
≤-2)=
(x
0
≥-1)&(x
0
-y
0
≤-2)&(y
0
<0)=
(x
0
≥-1) & (y
0
<0) & (y
0
>x
0
+2) =
ЛОЖЬ, т.е. путь 2.2 не реализуется
y:=x-y
(x
0
≥-1)
& (y
0
<0)
x
1
=x
0
y
1
=x
0
-y
0
x:=x-y y
1
≤-2 x
2
=x
1
-y
1
y
2
=y
1
⎯

Страницы