˙
B
(0)
1
=(
b
(
S
)
3
b
(
S
0
)
1
b
(
S
0
)
3
)?
a
1
(
b
(
S
)
1
b
(
S
0
)
3
)?
a
2
|
(
b
(
S
)
2
b
(
S
)
3
(
b
(
S
0
)
1
b
(
S
0
)
2
b
(
S
0
)
3
) ?
a
3
,
˙
B
(0)
2
= (
b
(
S
)
1
b
(
S
)
2
b
(
S
0
)
2
)?
a
1
(
b
(
S
)
2
b
(
S
)
3
b
(
S
0
)
1
)?
a
2
,
˙
b
(0)
1
∩
˙
B
(0)
1
= (
b
(
S
0
)
1
b
(
S
0
)
3
)?
a
1
b
(
S
0
)
3
?
a
2
(
b
(
S
)
2
b
(
S
0
)
1
b
(
S
0
)
3
)?
a
3
,
˙
b
(0)
1
∩
˙
B
(0)
2
=
b
(
S
)
2
?
a
1
(
b
(
S
)
2
b
(
S
0
)
1
)?
a
2
b
(
S
)
2
?
a
3
,
˙
b
(0)
2
∩
˙
B
(0)
1
=
b
(
S
)
1
?
a
1
(
b
(
S
0
)
2
b
(
S
0
)
3
) ?
a
3
,
˙
b
(0)
2
∩
˙
B
(0)
2
= (
b
(
S
)
1
b
(
S
0
)
2
)?
a
1
b
(
S
)
3
?
a
2
.
Состояния
b
(
S
)
2
и
b
(
S
0
)
1
, b
(
S
0
)
3
,
b
(
S
0
)
3
и
b
(
S
)
2
, b
(
S
0
)
1
должны входить в
разные состояния
˙
b
(0)
1
, а состояния
b
(
S
)
1
, b
(
S
0
)
2
— в разные состояния
˙
b
(0)
2
, т.е.
˙
b
(0)
1
,
1
=
b
(
S
0
)
1
,
˙
b
(0)
1
,
2
=
b
(
S
0
)
3
,
˙
b
(0)
1
,
3
=
b
(
S
)
2
,
˙
b
(0)
2
,
1
=
b
(
S
)
1
b
(
S
)
3
,
˙
b
(0)
2
,
2
=
b
(
S
0
)
2
.
После перенумерации получим следующие выражения:
˙
b
(1)
1
= ˙
b
(0)
1
,
1
=
b
(
S
0
)
1
,
˙
b
(1)
2
= ˙
b
(0)
1
,
2
=
b
(
S
0
)
3
,
˙
b
(1)
3
= ˙
b
(0)
1
,
3
=
b
(
S
)
2
,
˙
b
(1)
4
= ˙
b
(0)
2
,
1
=
b
(
S
)
1
b
(
S
)
3
,
˙
b
(1)
5
= ˙
b
(0)
2
,
2
=
b
(
S
0
)
2
.
Используя эти выражения, получаем процессные выражения, зада-
ющие детерминированный процесс:
˙
b
(1)
1
= ˙
b
(1)
1
?
a
1
˙
b
(1)
2
?
a
2
˙
b
(1)
1
?
a
3
,
˙
b
(1)
2
= ˙
b
(1)
2
?
a
1
˙
b
(1)
2
?
a
3
˙
b
(1)
4
?
a
3
,
˙
b
(1)
3
= ˙
b
(1)
5
?
a
1
˙
b
(1)
4
?
a
2
˙
b
(1)
3
?
a
3
˙
b
(1)
5
?
a
3
,
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012. № 4 77
