ж) найти все
B
(
s
)
k
,
k
= 1
,
2
, . . . , r
, для которых
b
(
s
)
j
∩
B
(
s
)
k
6
=
?
,
k
= 1
,
2
, . . . , r
, для каждого
b
(
s
)
j
2
A
(
s
)
j
;
з) если в п. “ж” для некоторого
b
(
s
)
j
найдены
B
(
s
)
a
, . . . , B
(
s
)
t
та-
кие, что
b
(
s
)
j
∩
B
(
s
)
a
6
=
?
, . . . , b
(
s
)
j
∩
B
(
s
)
t
6
=
?
, число которых не
менее двух и среди них существуют пары
B
(
s
)
g
, B
(
s
)
h
такие, что
b
(
s
)
j
∩
B
(
s
)
g
=
b
m
1
?
a
m
1
|
b
m
2
?
a
m
2
|
. . .
|
b
m
k
?
a
m
k
b
(
s
)
j
∩
B
(
s
)
h
=
=
b
n
1
?
a
n
1
|
b
n
2
?
a
n
2
|
. . .
|
b
n
l
?
a
n
l
и хотя бы для одной пары
?
a
m
,
?
a
n
имеет место
?
a
m
=?
a
n
, то разбить процесс
b
(
s
)
j
на подпроцессы
b
(
s
)
j
1
, b
(
s
)
j
2
, . . .
, в каждый из которых входят только те состояния
b
m
=
=
b
m
?
a
m
, b
n
=
b
n
?
a
n
, для которых нет ни одной пары
b
m
?
a
m
, b
n
?
a
n
такой, что
?
a
m
=?
a
n
. Заменить в множестве
A
(
s
)
j
процесс
b
(
s
)
j
полу-
ченными подпроцессами
b
(
s
)
j
1
, b
(
s
)
j
2
, . . .
. Перейти, к следующему пункту.
Если процесс
b
(
s
)
j
не был разбит на подпроцессы, то также перейти к
следующему пункту;
и) принять
j
=
j
+ 1
. Если
j
≤
r
, то перейти к п. “д”. В противном
случае перейти к п. “к”;
к) если суммарное число процессов в множествах
A
(
s
)
1
, . . . , A
(
s
)
r
равно
r
, то перейти к пункту л). В противном случае перенумеро-
вать все подпроцессы множеств
A
(
s
)
1
, . . . , A
(
s
)
r
числами
1
,
2
, . . . , r
1
,
принять
r
=
r
1
, присвоить им обозначения
b
(
s
)
j
, где
s
=
s
+
+ 1
, j
= 1
,
2
, . . . , r
=
r
1
и перейти к п. “г”;
л) конец. Процессные выражения
B
(
s
)
1
, . . . , B
(
s
)
r
,
!
a
(
s
)
1
, . . . ,
!
a
(
s
)
p
явля-
ются оптимальными каноническими.
Пример 3.
Имеем следующие канонические процессные выраже-
ния:
b
1
=?
e,
b
2
=
b
1
?
a
1
,
b
3
=
b
1
?
a
2
,
b
4
=
b
1
?
a
2
,
b
5
=
b
4
?
a
3
,
b
6
=
b
1
?
a
2
,
b
7
=
b
6
?
a
1
,
b
8
=
b
1
?
a
2
,
b
9
=
b
8
?
a
2
,
b
10
=
b
1
?
a
2
,
b
11
=
b
10
?
a
1
,
72 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012. № 4
