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