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

UptoLike

ВУЗ: 

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

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

Рубрика: 

1
0
1
0
1
0
1
0
Рис. 2.4.
s
f
q
g
h
r
g
h
r
g
5
4
3
2
1
Результирующая программная функция может быть определена как условное
правило:
[P]={(X,Y) ⎥ s(X) & q(f(X)) → Y=g(f(X));
s(X) &
⎤ (q( f(X) )& r(h(f(X)))→ Y=g(h( f(X)));
s(X) &
⎤ (q(f(X))) & ⎤ (r(h(f(X)))) → Y=h(f(X));
⎤ s(X) & r(h(X))→ Y=g(h(X));
⎯
⎤ s(X) &⎤ (r(h(X))) → Y=h(X)}.
Пример 2.15. Задан алгоритм с использованием операторов ветвления
(Рис.2.5).
IF x<-1 THEN x:=x+y ELSE IF y<0 THEN y:=x-y;
IF y>-2 THEN y:=x+y ELSE x:=x-y
Рис.2.5
Требуется определить функцию, реализуемую этим алгоритмом.
В данном алгоритме используется поле данных (x,y), начальное значение
этого поля (x
,y
0 0
). Для установления функции данного алгоритма требуется
проследить все ветви его выполнения.
Для этого введем обозначение предикатов, описывающих условия
ветвления:
115

Страницы