Основы синтеза и диагностирования автоматов. Воронин В.В. - 205 стр.

UptoLike

Составители: 

201
(кодируется) в структурном автомате вектором (
τ
i1
,…,
τ
ir
,…,
τ
iR
), ком-
понентами которого являются состояния элементов памяти П
r
,
r=1,R. Если все автоматы П
r
одинаковы (что в общем случае необя-
зательно), то их число определяется как
R
≥⏐
log
Θ
M
,
где
θ
- число возможных состояний элементарного автомата памяти
(у триггера
θ
=2).
Переходу С-автомата из состояния s
i
в состояние s
j
под дейст-
вием входного символа x
k
с выдачей выходного символа y
q
(см. рис.
5.26) соответствует переход в структурном автомате из состояния
(
τ
i1
,…,
τ
ir
,…,
τ
iR
) в состояние (
τ
j1
,…,
τ
jr
,…,
τ
jR
) под действием входного
набора (x
k1
,…,x
kl
,…,x
kL
) с выдачей выходного набора типа 1
(y
q1
,…,y
qn
,…,y
qN
). Изменение состояний элементов памяти на таком
переходе происходит под действием сигналов на входах элементов
памяти автомата
ϕ
=(
ϕ
1
,…,
ϕ
r
,…,
ϕ
R
), снимаемых с выхода КС1.
После перехода абстрактного автомата в состояние s
j
он выдает
выходной сигнал u
γ
типа 2, а структурный автомат в состоянии
(
τ
j1
,…,
τ
jr
,…,
τ
jR
) выдаст выходной набор (u
1
,…,u
d
,…,u
D
). Комбинаци-
онная схема КС1 служит для формирования выходных сигналов типа
ϕ
1
ϕ
r
ϕ
R
y
1
…y
n
…y
N
u
1
… u
d
… u
D
КС2
КС1
П
1
П
r
П
R
… …
τ
1
τ
r
τ
R
x
1
…x
l
…x
L
u
γ
y
q
A
x
k
s
i
s
j
(
τ
i1,…,
τ
iR
)
(
τ
j1,…,
τ
jR
)
Рис. 5.26