Синтез цифровых автоматов. Захаров Н.Г - 53 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

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

Рубрика: 

52
Пример 3
Для автомата А
2
)xxxx,q(
11211
=ω
= λ(q
1
, x
1
)ω(δ(q
1
, x
1
), x
2
x
1
x
1
) =
= y
1
ω(q
2
, x
2
x
1
x
1
) = y
1
λ(q
2
, x
2
)ω(δ(q
2
, x
2
), x
1
x
1
) = y
1
y
1
ω(q
2
, x
1
x
1
) =
= y
1
y
1
λ(q
2
x
1
)ω(δ(q
2
, x
1
), x
1
) = y
1
y
1
y
3
λ(q
3
, x
1
) = y
1
y
1
y
3
y
3
.
3.4.2. Автомат Мура
Автомат Мура получил название по имени впервые исследовавшего эту модель
американского ученого E. F. Moore.
Закон функционирования автомата Мура задается уравнениями:
0,1,2,... t(q(t)),y(t)
)),(),(()1(
==
=
+
λ
δ
txtqtq
Так как в автомате Мура выходной сигнал зависит только от внутреннего со-
стояния автомата и не зависит непосредственно от входного сигнала, то он задается
одной отмеченной таблицей переходов, в которой каждому ее столбцу приписан
кроме состояния q
m
еще и выходной сигнал y
g
= λ(q
m
), соответствующий этому со-
стоянию. Пример табличного описания автомата Мура А
3
иллюстрируется таблицей 3.11.
Таблица 3.11
δ: Q x X → Q; λ: Q →Y
y
1
y
1
y
3
y
2
y
3
q
1
q
2
q
3
q
4
q
5
x
1
q
2
q
5
q
5
q
3
q
3
x
2
q
4
q
2
q
2
q
1
q
1
Функция заключительного состояния
),q(
~
m
ξδ в множестве }){(EхQ
ε
∪ оп-
ределяется также, как и для автомата Мили.
Функция заключительного выхода
),q(
~
m
оλ
модели автомата Мура определена
в множестве
}){(EхQ
ε
∪
следующим образом:
)q(),q(
~
mm
λ=λ о
;
∈
=
о).,(qд
~
определена не если ,определена не
;определена - о),(qд
~
функция если Е,овсех для о)),,(qд
~
л(
о),(qл
~
m
mm
m
Очевидно, что в модели автомата Мура функция
),q(
~
m
оλ
представляет собой
выходной сигнал, который отмечает заключительное состояние.
Функция ω(q
m
, ξ) – реакция автомата в состоянии q
m
на входное слово
ξ = x
i
, ..., x
ik
– не определена, если ),q(
~
m
ξδ не определена.
Если
),q(
~
m
ξδ определена, то:
1iki3i21iki3i2iki2i1m1imm
...yyy )(q)...(q )(q)...xx),x,(q())x,q(()),q(
++
=
λ
λ
λ
=
δωδλ=ξω ,
где q
i2
= δ(q
m
, x
i1
); y
ij
= λ(q
ij
), j = 2, 3, ..., k+1.

Страницы