Граф абстрактного автомата мили.
Структурный синтез автомата МИЛИ.
Применяя канонический метод структурного синтеза, создадим структурный автомат МИЛИ. Задан следующий абстрактный автомат МИЛИ:
– входной алфавит.
–выходной алфавит.
– алфавит состояний.
– функция переходов автомата
– функция выходов автомата
| Таблица переходов | ||||
| X\S | s1 | s2 | s3 | s4 |
| x1 | s3 | s3 | s4 | s1 |
| x2 | s1 | s4 | s4 | s2 |
| x3 | -- | -- | s3 | s2 |
| x4 | s3 | s2 | -- | -- |
| Таблица выходов | ||||
| X\S | s1 | s2 | s3 | s4 |
| x1 | y5 | y5 | y4 | y1 |
| x2 | y2 | y2 | y2 | y2 |
| x3 | -- | -- | y6 | y6 |
| x4 | y5 | y2 | -- | -- |
Шаг 1: Кодирование алфавитов автомата.
| X |  |  |
| x1 | ||
| x2 | ||
| x3 | ||
| x4 |
Кодирование входного алфавита:
| Y |  |  |  |
| y1 | |||
| y2 | |||
| y3 | |||
| y4 | |||
| y5 | |||
| y6 |
Кодирование выходного алфавита:
| S |  |  |
| s1 | ||
| s2 | ||
| s3 | ||
| s4 |
Кодирование алфавита состояний:
Шаг 2: Выбор элементов памяти.
 | φ |  | |
| R | S | ||
| -- | |||
| -- | |||
| (таб.2.3) |
| | φ | |
| D | ||
| (таб.2.4) |
RS – триггер. D – триггер.
Шаг 3: Выбор базиса.
Для синтеза автомата выбран базис “И – НЕ” (Базис Шеффера).
Шаг 4: Построение таблиц переходов и выходов.
С учётом кодирования алфавитов строим таблицы переходов (таб.2.1) и
выходов (таб.2.2) структурного автомата МИЛИ.
| Таблица переходов структурного автомата МИЛИ (2.1) | ||||||||||
| | ||||||||||
| S | s1 | s2 | s3 | s4 | ||||||
| | | | | | | | | |||
| X | | | ||||||||
| x1 | ||||||||||
| x2 | ||||||||||
| x3 | -- | -- | -- | -- | ||||||
| x4 | -- | -- | -- | -- |
| Таблица выходов структурного автомата МИЛИ (2.2) | ||||||||||||||||||
| | ||||||||||||||||||
| S | s1 | s2 | s3 | s4 | ||||||||||||||
| | | | | | | | | |||||||||||
| Y | | | | | | | | | | | | | ||||||
| X | | | ||||||||||||||||
| x1 | ||||||||||||||||||
| x2 | ||||||||||||||||||
| x3 | -- | -- | -- | -- | -- | -- | ||||||||||||
| x4 | -- | -- | -- | -- | -- | -- | ||||||||||||
Шаг 5: Построение таблицы возбуждения элементов памяти.
На основе таблицы переходов (таб.2.1) и таблиц возбуждения RS - триггера(таб.2.3) и D – триггера (таб.2.4) строим таблицу возбуждения элементов памяти (таб.2.5) структурного автомата МИЛИ.
| Таблица возбуждения элементов памяти (2.5) | |||||||||||||
| S | s1 | s2 | s3 | s4 | |||||||||
| | | | | | | | | ||||||
| φ | D | R | S | D | R | S | D | R | S | D | R | S | |
| | | ||||||||||||
| -- | |||||||||||||
| -- | -- | -- | |||||||||||
| -- | -- | -- | -- | -- | -- | -- | -- | ||||||
| -- | -- | -- | -- | -- | -- | -- | -- |
Шаг 6: Поиск функций выхода и возбуждения памяти.
Найдем функции выхода ( 
, 
, 
) и функции возбуждения памяти(D,R,S).
Строим карты Карно для каждой функции.
Далее выпишем ТДНФ по каждой карте Карно:
Перевод функций в базис Шеффера:
Схема структурного автомата МИЛИ.
Тестирование структурного автомата МИЛИ.
В ходе тестирования было установлено, что структурный автомат МИЛИ функционирует корректно, в полном соответствии с его таблицей переходов и выходов. Это подтверждает диаграмма теста. 