ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
17
Кроме того, после приема необходимой входной комбинации сим-
волов в текущем состоянии данный автомат выдает символы только по
выделенным выходным каналам. Такое определение можно найти,
например, в работе [3]. Поскольку функционирование управляемых и
управляющих автоматов не привязано к единым тактовым моментам
времени, во избежание потери комбинаций входных символов каждый
вход управляющего автомата дополнен буфером, работающим по
принципу FIFO (первым пришел – первым выдан).
Формальное описание такого автомата, имеющего
k
входов и
l
выходов, выглядит следующим образом:
{
}
{
}
{
}
1
1
1
1
1
, , ;
, ,
; , , ;
, ,
;
, ,
,
k
n
l
n
n
R U U X x x Z Z
F F F H H H
= … = … …
= … = …
(5)
где
–
i
U
алфавит, соответствующий
i
-
му входному каналу,
1, , ;
i
k
= …
X
–
множество состояний автомата,
{ }
1
n
i i
X x
=
=
;
i
Z
–
алфавит, соот-
ветствующий
i
-
му выходному каналу,
1, ,
i
l
= …
;
i
F
–
множество ча-
стично-определенных функций переходов, связанных с состоянием
,
i
x
{
}
1
, ,
i
i
i
i
m
F f
f
= …
;
i
H
–
множество частично-определенных вектор-
функций выходов, связанных с cостоянием
i
x
,
{
}
1
, ,
i
H
= …
i
i
i
m
h h
;
(
)
(
)
(
)
(
)
(
)
(
)
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
, ,
1
, ,
1
1
1
, ,
, ,
1
1
, ,
, ,
:
;
:
;
:
;
;
:
p
m m i
i
i
p mi
p
t
m m
m m
i
i
i
i
i
p
t
m
m
i
i
i
k
j
j
i
m
k
j
j
k
l
j
j
q q
i
k
l
j
j
q q
f pr
U U X
f
pr
U U X
pr
U U pr
Z Z
pr
U U pr
Z Z
…
…
…
…
…
…
×…× →
×…× →
×…× → ×…×
×…× →
×…×
i
m
h
h
#
1
,
i n
≤ ≤
где
n
–
число состояний;
i
m
–
определяет число различ-
ных комбинаций выделенных входных каналов, используемых авто-
матом в состоянии
, 1
;2
k
i
i
x
m
≤ ≤
1
1
1
1
, ,
p
j
j
…
,
2
2
2
1
, ,
p
j
j
…
,…,
1
, ,
i
i
mi
m
m
p
j
j
…
–
номера выделенных входных каналов, используемых автоматом в со-
стоянии
i
x
,
1
1
1
1
1
p
j
j
k
≤ <…< ≤
,
1
2
2
1
1
,
p
j
j
k
≤ <…< ≤
#
1
1
1
1
mi
m
m
p
j
j
k
≤ <…< ≤
,