множеств следующим образом:
A
(0)
1
=
{
b
(1)
1
=
b
(0)
1
,
1
, b
(1)
3
=
b
(0)
1
,
2
}
, A
(0)
2
=
{
b
(1)
2
=
b
(0)
2
}
,
т.е.
b
(1)
1
=
{
b
1
, b
2
, b
9
, b
18
}
,
b
(1)
2
=
{
b
3
, b
4
, b
5
, b
6
, b
8
, b
10
, b
12
, b
13
, b
15
, b
16
}
,
b
(1)
3
=
{
b
7
, b
11
, b
14
, b
17
}
.
Переходя снова к п. “ж” алгоритма 3, вычислим процессы
B
(1)
1
=
b
1
?
a
1
(
b
8
|
b
17
)?
a
2
,
B
(1)
2
=
b
14
?
a
1
|
b
1
?
a
2
|
(
b
4
|
b
11
)?
a
3
,
B
(1)
3
= (
b
6
|
b
13
|
b
10
|
b
16
)?
a
1
.
.
Если провести еще один цикл вычислений, то можно убедиться,
что число состояний
b
(2)
i
совпадает с числом состояний
b
(1)
i
. Процесс-
ные выражения
B
(1)
1
, B
(1)
2
, B
(1)
3
,
!
a
1
,
!
a
2
могут быть преобразованы
подстановкой вместо каждого состояния
b
l
того состояния
b
(1)
i
, в кото-
рое оно входит. В результате получим следующие процессные выра-
жения:
b
(1)
1
=
b
(1)
1
a
1
(
b
(1)
2
b
(1)
3
)?
a
2
,
b
(1)
2
=
b
(1)
3
?
a
1
b
(1)
1
?
a
2
(
b
(1)
2
b
(1)
3
)
a
3
,
b
(1)
3
=
b
1
2
?
a
(1)
,
!
a
1
=
b
(1)
2
,
!
a
2
=
b
(1)
1
b
(1)
3
.
4. Модификация процесса.
При практической реализации процес-
сов достаточно распространенной является следующая ситуация. Про-
цесс
P
(
S
)
уже построен. Требуется построить новый процесс
P
(
S
0
)
,
который с точки зрения нового создателя то ли тот же самый, то ли
похож на него, то ли радикально отличен. Он этого не знает, но хотел
бы воспользоваться уже построенным процессом.
Если
S
=
S
0
, то заново строить процесс
P
(
S
0
)
нет необходимости.
Если
S
0
S
, то та часть процесса
P
(
S
)
, которая выполняет нити
S
0
,
может быть использована как процесс
P
(
S
0
)
. Если
S
∩
S
0
6
=
?
, то та
часть процесса
P
(
S
)
, которая выполняет нити множества
S
∩
S
0
, может
быть использована для построения процесса
P
0
(
S
0
)
, но должна быть
дополнена частью, выполняющей множество нитей
S
0
\
(
S
∩
S
0
)
. Если
S
∩
S
0
=
?
, то процесс
P
(
S
0
)
должен быть построен заново.
74 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012. № 4
