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

UptoLike

ВУЗ: 

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

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

Рубрика: 

Таблица 2.6
Путь 3.1
Условие пути 3.1:
(x ≥-1)&(y ≥0)&(y >-2) =
0 0 1
(x
≥-1)&(y ≥-2)&(y ≥0)=
Оператор Условие
0 0 0
x y
(x
≥-1)&(y ≥0)
0 0
(x
=x y =y
x
-
0
≥-1)
& (y
0
≥0)
1 0 1 0
Функция пути 3.1:
x =x =x ; y =x +y =x +y
2 1 0 2 1 1 0 0
, т.е.
(x,y):=(x
, x +y )
y:=x+y y x =x y =x +y>-2
0 0 0
1 2 1 2 1 1
Таблица 2.7
Путь 3.2
Условие пути 3.2:
(x ≥-1)&(y ≥0)&(y ≤-2)=
0 0 1
x y
Оператор Условие
(x
≥-1)&(y ≤-)&(y ≥0)=ЛОЖЬ,
0 0 0
т.е. путь 3.2 не реализуется
-
(x
0
≥-1)
& (y
0
≥0)
x
1
=x
0
y
1
=y
0
⎯
x:=x-y y x =x -y y =y≤-2
1 2 1 1 2 1
Граф-схема реализации алгоритма (рис.2.8) показывает все шесть возможных
путей, по которым может пойти вычислительный процесс: 1.1, 1.2, 2.1, 2.2, 3.1,
3.3. Для выявления функции, реализуемой алгоритмом, составим шесть таблиц
трассировки, а именно таблицы 2.2, 2.3, 2.4, 2.5, 2.6, 2.7 соответственно. Из
этих таблиц выписываем результирующую функцию алгоритма
(x
+y , x +2y ), если (x <-1)&(y >-2);
0 0 0 0 0 0
(x,y) = (x
, y ), если (x <-1)&(y ≤-2);
0 0 0 0
, 2x -y ), если (x ≥-1)&(y
(x
<0);
0 0 0 0 0
≥0). , x +y ), если (x ≥-1)&(y
(x
0 0 0 0 0
Циклические структуры
Для определения программной функции циклических программ
возможны два подхода.
Первый подход основан на выявлении узлов слияния в блок-
схеме программы. Для каждого узла слияния записывается
выражение программной функции. Рассмотрим пример циклической
программы на рис. 2.9.
118

Страницы