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

UptoLike

ВУЗ: 

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

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

Рубрика: 

56
01 → 01 12 → 02
02 → 01 13 → 03
03 → 02 20 → 03
10 → 02 21 → 03
11 → 02
Алфавитное отображение ϕ, будучи естественным образом продолжено на на-
чальные отрезки слов, является, очевидно, автоматным.
Находим соответствующее ему каноническое множество событий:
S(0) = 0 ∨ 1 ∨ 2,
S(1) = 01 ∨ 02,
S(2) = 03 ∨ 10 ∨ 11 ∨ 12,
S(3) = 13 ∨ 20 ∨ 21.
Применим второй вариант синтеза, исключив из рассмотрения событие S(0).
Оставшиеся события запишем в виде регулярных выражений:
1 = 0 (1 ∨ 2),
2 = (03 ∨ 10 ∨ 11 ∨ 12),
3 = (13 ∨ 20 ∨ 21).
Разметка этих выражений по правилам 2, 2б, 2в, 3 (пп. 3. 3. 1, 3. 3. 2) приводит
к следующему разметочному комплексу:
1=| 0 | ( | 1 ∨ 2), 2 = |( | 0 |3 ∨ | 1 | 0 ∨ | 1 | 1 ∨ | 1 | 2 )
0 1 0 1 2 2 2
1 1 0 0 0 0
2 = |( | 1 |3 ∨ | 2 | 0 ∨ | 2 | 1)
0 2 3 3
0 0 0
По правилам 4 и 5а находим таблицы переходов (3.12) и выходов (3.13) автома-
та Мили.
Таблица 3.12 Таблица 3.13
0 1 2 3 * 0 1 2 3 *
0 1 * * * * 0 ( ) ( ) 2 3 ( )
1 2 * * * * 1 ( ) 1 2 3 ( )
2 3 * * * * 2 ( ) 1 2 ( ) ( )
3 * * * * * 3 ( ) 2 3 ( ) ( )
В соответствии со вторым вариантом синтеза автомата пустой выходной сигнал
( ) должен быть заменен выходным сигналом 0. Однако, очевидно, что применяя этот
вариант синтеза необходимо учесть особенности его применения, указанные в чет-
вертом этапе общего метода решения задачи.

Страницы