1. Принимаем
K
u
k
u
=
{
˜
M
u
k
u
}
. Если
u
= 0
, то принимаем
˜
K
u
k
u
=
K
u
k
u
и переходим к п. 3. В противном случае принимаем
v
=
u
. Принимаем
v
=
v
−
1
и переходим к п. 2.
2. Для каждого автомата
˜
M
v
k
v
2
K
v
v
получаем множество
K
v
−
1
k
v
−
1
ав-
томатов, используемых для представления отношений, участвующих в
построении этого автомата
˜
M
v
k
v
2
K
v
v
, т.е.
K
v
−
1
k
v
−
1
=
{
˜
M
v
−
1
k
v
−
1
отношения
автомата
˜
M
v
−
1
k
v
−
1
участвуют в построении
˜
M
v
k
v
}
. Если
v
−
1 = 0
, то
˜
K
u
k
u
=
K
u
−
1
k
u
−
1
∪
K
u
−
2
k
u
−
2
∪
. . .
∪
K
0
k
0
и переходим к п. 3. В противном
случае принимаем
v
=
v
−
1
и переходим к п. 2.
3. Конец построения клики
˜
K
u
k
u
.
Пример клики
˜
K
u
финального автомата
˜
M
u
показан на рис. 13
(кружки обозначают автоматы). Стрелки указывают направление от
автоматов более низкого уровня к автоматам более высокого уровня,
отношения которых строятся на основе отношений, представляемых
автоматами, соединенными с ними входящими стрелками.
Каждая клика
˜
K
u
k
u
, k
u
2 {
1
, . . . , l
u
}
задает совокупные динами-
ческие отношения объектов среды. Эта клика создается заранее пу-
Рис. 13. Пример клики
˜
K
u
финального графа
˜
M
u
104 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2011. № 3
