G
3
(
X
3
, U
3
)
−
U
3
i,j
=
{
u
(
∅
, x
k
)
, u
(
x
k
+2
,
∅
)
}
,
где
x
k
—
вершина начала
цикла
,
x
k
+2
—
вершина конца цикла
.
Формальные признаки данной конструкции
:
P
(
X
3
) =
S
(
X
3
) = 1
,
(4
а
)
(
t
(
x
k
) =
“
слияние
”
)
,
(4
б
)
(
t
(
x
k
+2
) =
“
разветвление
”
)
,
(4
в
)
(
F
+1
(
x
k
+2
)
∩
F
−
1
(
x
k
) =
x
k
+3
)&(
t
(
x
k
+3
) =
=
“
обработка данных
”
)
,
(4
г
)
(
F
+1
(
x
k
) =
x
k
+1
)&(
t
(
x
k
+1
) =
“
вычисление условия
”
)
.
(4
д
)
где
P
(
X
3
)
, S
(
X
3
)
—
полустепени исхода и захода куска
G
3
(
X
3
, U
3
)
;
t
(
x
k
)
—
тип
k
-
й вершины
.
Характеристики
(4
а
)–(4
д
)
образуют полный набор формальных
признаков
(
инвариантов
)
данной модели
.
Таким образом
,
множество базовых моделей структурного алгорит
-
ма
G
B
включает четыре модели
:
G
B
=
{
G
0
, G
1
, G
2
, G
3
}
,
где
G
0
—
модель оператора обработки данных
;
G
1
—
модель конструк
-
ции следования
;
G
2
—
модель конструкции ветвления
;
G
3
—
модель
конструкции цикла
-
пока
.
Анализ инвариантов моделей перечисленных конструкций показы
-
вает
,
что необходимым
(
но не достаточным
)
формальным признаком
того
,
что некоторый кусок графа
G
j
представляет собой модель струк
-
турной конструкции
,
может служить свойство
(1
е
), (2
а
), (3
а
), (4
а
).
Не
-
достаточность этого признака обусловлена тем
,
что некоторый фраг
-
мент с одним входом и одним выходом может включать неструктурные
конструкции
.
Различать модели конструкции можно
,
используя свойства
(2
б
), (3
б
)
и
(4
б
).
Структурный алгоритм
,
его модель и свойства
.
В соответствии
с правилами структурного программирования в качестве элементов
обработки данных в основных структурных конструкциях могут вы
-
ступать не только отдельные операторы обработки данных
,
но и сами
структурные конструкции
.
В этом случае мы получаем иерархически
вложенные
(
сложные
)
структурные конструкции с некоторым количе
-
ством уровней вложения
.
Распознавание сложных конструкций при анализе алгоритмов под
-
разумевает некоторое их отождествление с базовыми
.
Такое распо
-
знавание может быть выполнено путем установления гомеоморфизма
ISSN 0236-3933.
ВестникМГТУ им
.
Н
.
Э
.
Баумана
.
Сер
. “
Приборостроение
”. 2005.
№
3 69
