Формализация описания конечного автомата (граф, таблицы переходов и выходов). Формирование функций выходов и функций возбуждения памяти автомата. Минимизация функций выходов и функций возбуждения памяти автомата, отображение результатов на картах Карно.
Аннотация к работе
. Анализ технического заданияКонечный автомат должен осуществлять синхронизацию информационных импульсов, поступающих в произвольные моменты времени, с ближайшим фронтом тактового импульса, начинающимся после поступления фронта информационного импульса. На основе построенного графа автомата получаем его таблицы переходов и выходов: Таблица переходов автомата q0 q1 q2 q3 q4 q5 По таблице переходов строим таблицу разбиения ?1 состояний автомата: Разбиение ?1 состояний автомата Поскольку число классов 2-эквивалентных состояний оказалось равно числу состояний автомата, то минимизация невозможна.