В то же время, если
i
выбрано равным или большим длине
ζ
самой
длинной нити из множества
?
S
, то из определения отношения
E
(
i
)
следует, что отношение
E
(
ζ
)
совпадает с отношением
R
, а отношение
E
(
i
+1)
разбивает множество
?
S
на классы, каждый из которых является
подклассом отношения
E
(
i
)
, т.е. для каждого класса
Q
(
i
+1)
j
существует
класс
Q
i
h
такой, что
Q
(
i
+1)
j
Q
(
i
)
h
.
В общем случае граф переходов процесса
P
(
i
)
строится аналогич-
но графу переходов процесса
P
(
S
)
. Состояниям
b
(
i
)
1
, b
(
i
)
2
, . . . , b
(
i
)
k
i
этого
процесса соответствуют классы
Q
(
i
)
1
, Q
(
i
)
2
, . . . , Q
(
i
)
k
i
. Функцией пере-
ходов процесса
P
(
i
)
является функция
f
(
i
)
(?
a, b
(
i
)
j
) =
{
b
(
i
)
h
|
?
a
2
Q
(
i
)
j
,
?
a
?
a
2
Q
(
i
)
h
}
, а функцией выходов — функция
ϕ
(
i
)
(?
a, b
(
i
)
j
) =
=
{
ϕ
(?
a
?
a
)
|
?
a
2
Q
(
i
)
j
}
.
Начальным состоянием процесса
P
(
i
)
является состояние
b
(
i
)
1
, соот-
ветствующее классу
Q
(
i
)
1
, содержащему пустое восприятие
?
e
. Процесс
P
(
i
)
в общем случае является недетерминированным, так как из одно-
го и того же состояния
b
(
i
)
j
по одному и тому же восприятию возможен
переход в несколько различных состояний
b
(
i
)
h
и, как следствие, есть
возможность выдачи различных внешних реакций. Поскольку отно-
шение
E
(
ζ
)
совпадает с отношением
R
, то при выполнении условий
полноты и непротиворечивости множества
S
процесс
P
(
ζ
)
совпадает
с детерминированным процессом
P
(
S
)
.
Сформулируем алгоритм построения процесса
P
(
S
)
, реализующе-
го заданное множество
S
нитей, с использованием отношения
E
(
i
)
.
Алгоритм 2
:
а) принять
i
= 0
;
б) разбить множество
?
S
на классы
Q
(
i
)
1
, Q
(
i
)
2
, . . . , Q
(
i
)
k
i
по отноше-
нию
E
(
i
)
, где
Q
(
i
)
1
является классом, содержащим пустую последова-
тельность
?
e
;
в) отождествить классы
Q
(
i
)
1
, Q
(
i
)
2
, . . . , Q
(
i
)
k
i
с состояниями
b
(
i
)
1
, b
(
i
)
2
,
. . . , b
(
i
)
k
i
процесса
P
(
i
)
;
г) проверить, является ли процесс
P
(
i
)
детерминированным. Если
он детерминированный, то перейти к п. “е”, в противном случае пе-
рейти к п. “д”;
д) разбить каждый класс
Q
(
i
)
1
, Q
(
i
)
2
, . . . , Q
(
i
)
k
i
по отношению
E
(
i
+1)
на
подклассы. Считать множество этих подклассов новым множеством
классов
Q
(
i
+1)
1
, Q
(
i
+1)
2
, . . . , Q
(
i
+1)
k
i
+1
, где
Q
(
i
+1)
1
является классом, содержа-
щим пустую последовательность
e
. Принять
i
=
i
+ 1
и пeрейти к
п. “в”;
е) считать процесс
P
(
i
)
процессом
P
(
S
)
. Конец.
70 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012. № 4
