- •Табличный способ задания автоматов
- •Таблица переходов
- •Таблица выходов
- •Таблица выходов
- •Таблица выходов
- •Таблица переходов
- •Задание автомата с помощью графа
- •Для автомата Мили
- •Для автомата Мура
- •Для асинхронного автомата
- •Матричный способ задания автоматов
- •Переход от автомата Мили к автомату Мура и обратно
- •Переход от автомата Мура к автомату Мили табличным способом
- •Переход от автомата Мили к автомату Мура
- •Переход от автомата Мили к автомату Мура
- •Переход от автомата Мили к автомату Мура
- •Переход от автомата Мили к автомату Мура
- •Переход от автомата Мили к автомату Мура
- •Минимизация полностью определённых автоматов
- •Алгоритм минимизации числа внутренних состояний полностью определённого автомата
- •Алгоритм минимизации числа внутренних состояний полностью определённого автомата
- •Алгоритм минимизации числа внутренних состояний полностью определённого автомата
- •Минимизация автомата Мили
- •Минимизация автомата Мили
- •Минимизация автомата Мили
- •Минимизация автомата Мили
- •Минимизация автомата Мура
- •Совмещённая модель автомата (C-автомата )
- •Совмещённая модель автомата (C-автомата )
- •Структурный синтез С-автомата
- •Метод противогоночного кодирования состояний автомата
- •Метод противогоночного кодирования состояний автомата
- •Метод противогоночного кодирования состояний автомата
- •Соседнее кодирование состояний автомата
- •Соседнее кодирование состояний автомата
- •Элементарные автоматы памяти
- •RS-триггер – элемент памяти с двумя входами S – set, R – reset
- •RS-триггер – элемент памяти с двумя входами S – set, R – reset
- •RS-триггер – элемент памяти с двумя входами S – set, R – reset
- •Д-триггер
- •Д-триггер
- •Д-триггер
- •Т-триггер
- •Т-триггер
- •Методы унитарного кодирования
- •Методы унитарного кодирования
- •Методы унитарного кодирования
- •Синтез автоматов на ПЛМ и ПЗУ
Структурный синтез С-автомата
Таблица переходов элементарного автомата памяти:
|
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
τисх |
α |
τвых |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
Таблица переходов С-автомата: |
Модифицированная таблица переходов: |
|
00 01 11
00 01 - 00
01 11 00 -
10 01 11 11
00 01 11
00 01 - 11
01 11 01 -
10 01 10 00
Схема КС1 должна реализовать следующие функции:
y1 = y1(τ1,τ2,x1,x2);
y2 = y2(τ1,τ2,x1,x2); α1 = α1(τ1,τ2,x1,x2); α2 = α2(τ1,τ2,x1,x2).
Схема КС2 должна реализовать следующие функции:
r1 = r1(τ1,τ2).
Из отмеченной таблицы выходов структурного С-автомата получаем
y1 =τ1τ2 x1 x2 τ1τ2 x1 x2 τ1τ2 x1 x2 τ1τ2 x1 x2 = 0 5 6 14
y2 =τ1τ2 x1 x2 τ1τ2 x1 x2 τ1τ2 x1 x2 =1 5 14
r =τ1τ2 τ1τ2 = 0 3
r
1
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
α1 |
|
|
|
|
|
|
α2 |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
П1 |
|
|
П2 |
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
& |
|
& |
|
& |
|
|
& |
|
|
& |
|
|
|
|
& |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x1 x2
Метод противогоночного кодирования состоянийавтомата