является использование адекватных графу процессных выражений, по-
зволяющих легко переходить от графа к этим выражениям и наоборот.
Воспользуемся для этого известным из теории конечных автоматов
фактом, заключающимся в том, что каждый граф переходов задает
две функции: рекурсивную функцию переходов
b
j
=
f
(
b
i
,
?
a
)
и функ-
цию выходов
!
a
=
φ
(
b
j
)
. Обе эти функции могут быть заданы в виде
канонических процессных выражений, адекватных графу переходов
процесса. Канонические процессные выражения, задающие функцию
переходов, будем называть внутренними, а функцию выхода — внеш-
ними.
Так для графа переходов (см. рис. 1) каноническими процессными
выражениями, адекватными этому графу, будут следующие:
b
1
= ?
e,
b
1
=
b
4
?
a
1
,
b
1
=
b
4
?
a
2
,
b
2
=
b
1
?
a
1
,
b
2
=
b
3
?
a
2
,
b
3
=
b
2
?
a
1
,
b
3
=
b
2
?
a
2
,
b
4
=
b
1
?
a
2
,
b
4
=
b
3
?
a
1
,
!
a
1
=
b
1
,
!
a
2
=
b
2
,
!
a
3
=
b
3
|
b
4
.
В более компактном виде эти канонические процессные выражения
могут быть представлены следующим образом:
b
1
=?
e
|
b
4
?
a
1
|
b
4
?
a
2
=?
e
|
b
4
|
(
a
1
|
a
2
)
,
b
2
=
b
1
?
a
1
|
b
3
?
a
2
,
b
3
=
b
2
?
a
1
|
b
2
?
a
2
=
b
2
(?
a
1
|
?
a
2
)
,
b
4
=
b
1
?
a
2
|
b
3
?
a
1
,
!
a
1
=
b
1
,
!
a
2
=
b
2
,
!
a
3
=
b
3
|
b
4
.
Очевидно, что если исходным описанием процесса являются кано-
нические процессные выражения, то переход от этих выражений к гра-
фу переходов процесса и наоборот очевиден. Канонические процесс-
ные выражения могут быть рекурсивными. В исходном представлении
каждое внутреннее процессное выражение вида
b
i
=
b
j
?
a
задает один
переход из состояния
b
j
в состояние
b
i
в результате восприятия
?
a
.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012. № 4 63
