- •Табличный способ задания автоматов
- •Таблица переходов
- •Таблица выходов
- •Таблица выходов
- •Таблица выходов
- •Таблица переходов
- •Задание автомата с помощью графа
- •Для автомата Мили
- •Для автомата Мура
- •Для асинхронного автомата
- •Матричный способ задания автоматов
- •Переход от автомата Мили к автомату Мура и обратно
- •Переход от автомата Мура к автомату Мили табличным способом
- •Переход от автомата Мили к автомату Мура
- •Переход от автомата Мили к автомату Мура
- •Переход от автомата Мили к автомату Мура
- •Переход от автомата Мили к автомату Мура
- •Переход от автомата Мили к автомату Мура
- •Минимизация полностью определённых автоматов
- •Алгоритм минимизации числа внутренних состояний полностью определённого автомата
- •Алгоритм минимизации числа внутренних состояний полностью определённого автомата
- •Алгоритм минимизации числа внутренних состояний полностью определённого автомата
- •Минимизация автомата Мили
- •Минимизация автомата Мили
- •Минимизация автомата Мили
- •Минимизация автомата Мили
- •Минимизация автомата Мура
- •Совмещённая модель автомата (C-автомата )
- •Совмещённая модель автомата (C-автомата )
- •Структурный синтез С-автомата
- •Метод противогоночного кодирования состояний автомата
- •Метод противогоночного кодирования состояний автомата
- •Метод противогоночного кодирования состояний автомата
- •Соседнее кодирование состояний автомата
- •Соседнее кодирование состояний автомата
- •Элементарные автоматы памяти
- •RS-триггер – элемент памяти с двумя входами S – set, R – reset
- •RS-триггер – элемент памяти с двумя входами S – set, R – reset
- •RS-триггер – элемент памяти с двумя входами S – set, R – reset
- •Д-триггер
- •Д-триггер
- •Д-триггер
- •Т-триггер
- •Т-триггер
- •Методы унитарного кодирования
- •Методы унитарного кодирования
- •Методы унитарного кодирования
- •Синтез автоматов на ПЛМ и ПЗУ
Соседнее кодирование состояний автомата
1.В графе автомата не должно быть циклов с нечётным числомвершин.
1
2 3
Соседнеекодирование состояний автомата
2.Два соседних состояния второго порядка не должны иметь более двухсостояний, лежащих междуними.
1
2 |
3 |
5 |
4
Соседнеекодирование состояний автомата
Наиболеепросто определитьсоседей,как первого, так и второго рода, используя обратную таблицу переходов.
|
a1 |
a2 |
а3 |
a4 |
a5 |
a6 |
|
|
|
|
|
|
|
Z1 |
a2 |
a1 |
-- |
a3 |
-- |
a5 |
|
a6 |
a4 |
|
|
|
|
|
|
|
|
|
|
|
Z2 |
- |
- |
а1 |
-- |
a2 a5 |
-- |
|
|
|
а3 |
|
a6 |
|
|
|
|
a4 |
|
|
|
|
|
|
|
|
|
|
Соседнеекодирование состояний автомата
ДиаграммыВейча–Карно
|
0 |
0 |
1 |
1 |
|
0 |
1 |
1 |
0 |
|
|
|
|
|
0 |
а1 |
а4 |
а2 |
а6 |
|
|
|
|
|
1 |
а3 |
- |
- |
а5 |
|
|
|
|
|
Кодированиесостояний автомата для минимизации комбинационной схемы.
Кодированиесостояний автомата для минимизации комбинационной схемы
а1 а2 а3
z1 а2 |
- |
а1 |
z2 а3 а1 -
D-триггер
0 1
0 0 0
1 1 1
z3 а2 а3 а3
Кодированиесостояний автомата для минимизации комбинационной схемы
Закодируем состояния |
|
|
|
|
|
а1=>00, а2=>01, а3=>11. |
|
|
|
|
|
|
01 |
01 |
11 |
||
z1=>00, z2=>01, z3=>10. |
|
|
|
|
|
00 |
01 |
- |
00 |
||
|
|||||
|
|
|
|
|
|
|
01 |
11 |
00 |
- |
|
|
|
|
|
|
|
|
10 |
01 |
11 |
11 |
|
|
|
|
|
|
α1 =1 6 14
α2 = 0 1 2 6 14
Кодированиесостояний автомата для минимизации комбинационной схемы
а1=>01, а2=>10, а3=>00
01 10 00
00 10 - 01
01 00 01 -
10 10 00 00
α1 =1 6 14
α2 = 0 1 2 6 14