Синтез автомата при детерминированной последовательности входов

1.Получение таблицы тактов.

Автомат с детерминированной последовательностью входов –
такой автомат, у

Дано: идеализированная временная диаграмма-задание на разработку автомата.

ИВД

1.Получение таблицы тактов

Идеализированная временная диаграмма-задание на разработку автомата – это и

Эквивалентные состояния (такты)

Состояния называются эквивалентными, если они соответствуют одинаковым последовательностям «входное

1.Получение таблицы тактов

Строим таблицу тактов

Первичная таблица переходов-выходов

ПТП

Минимизация числа строк ПТП

Строим граф объединения строк

Строим минимизированную таблицу переходов

МТП

Закодируем строки, между которыми есть переходы, соседним кодом.

Для этого строим

Соседнее или безгоночное кодирование

Таким образом, при всех выбранных переходах обеспечивается изменение

Таблица переходов-выходов

ТПВ

Получим символическую форму ПФ z

z(y2y1bа)=1,2,4,6,12,15[0,3,5,7,13,14,8,9]

Таблица возбуждения элементов памяти

Строим таблицу возбуждения элементов памяти для D-триггеров

Получим символическую форму ПФ

Получим условия работы 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].

Таблица возбуждения элементов памяти RS

Таблица возбуждения RS-триггера

0

1

3

2

4

12

7

5

6

13

15

14

8

9