Слайд 1
Синтез автомата при детерминированной последовательности входов
Учебные вопросы
1.Получение таблицы тактов.
2. Выявление
эквивалентных тактов
3.Получение первичной таблицы переходов-выходов.
Слайд 21.Получение таблицы тактов.
Автомат с детерминированной последовательностью входов –
такой автомат, у которого входные последовательности детерминированы, то есть строго
определены и их смены быть не может.
Слайд 3Дано: идеализированная временная диаграмма-задание
на разработку автомата.
ИВД
Слайд 41.Получение таблицы тактов
Идеализированная временная диаграмма-задание на разработку автомата – это
и есть детерминированная последовательность входных наборов. По окончании последнего набора
всё повторяется снова.
Слайд 5Эквивалентные состояния (такты)
Состояния называются эквивалентными, если они соответствуют одинаковым последовательностям
«входное слово – выходное слово»; причем длина такой последовательности может
быть любая ≥1.
Слайд 61.Получение таблицы тактов
Строим таблицу тактов
Слайд 7Первичная таблица переходов-выходов
ПТП
Слайд 8Минимизация числа строк ПТП
Строим граф объединения строк
Слайд 9Строим минимизированную таблицу переходов
МТП
Слайд 10Закодируем строки, между которыми есть переходы, соседним кодом.
Для этого
строим карту Карно
Слайд 11Соседнее или безгоночное кодирование
Таким образом, при всех выбранных переходах обеспечивается
изменение только одного элемента памяти (соседнее или безгоночное кодирование).
Строим реализуемую
таблицу переходов, в которой указываются все переходы.
Слайд 13Получим символическую форму ПФ z
z(y2y1bа)=1,2,4,6,12,15[0,3,5,7,13,14,8,9]
Слайд 14Таблица возбуждения элементов памяти
Строим таблицу возбуждения элементов памяти для D-триггеров
Слайд 15Получим символическую форму ПФ
Получим условия работы D2,D1 в символической форме:
D2(y2y1bа)=4,5,12,13,15,14,9[0,1,2,3,6,7,8];
D1(y2y1bа)=2,3,4,5,6,7,12,14,15[0,1,8,9,13].
Слайд 16Таблица возбуждения элементов памяти RS
Таблица возбуждения RS-триггера
0
1
3
2
4
12
7
5
6
13
15
14
8
9
Слайд 17Функции возбуждения RS
Получим функции возбуждения элементов памяти в символической форме:
R2(y2y1bа)=8[4,5,12,13,14,15,9];
S2(y2y1bа)=4,5[0,1,2,3,6,7,8];
R1(y2y1bа)=13[2,3,4,5,6,7,12,14,15];
S1(y2y1bа)=2,3[0,1,8,9,13].
Абстрактный
синтез закончен.