В рамках разработки
специального управляющего блока бортовой
вычислительной системы космического аппарата получено описание процесса его функционирования в виде таблиц переходов и выходов абстрактного конечного автомата Мили.
Строки таблицы соответствуют входным значениям z1-Z, столбцы - состояниям a1-ag
Содержимое таблиц - цифра обозначает номер следующего состояния а,-ав (или выходного сигнала WI-ws), прочерк - неопределенное (безразличное) состояние или выход.
Необходимо:
1. Минимизировать число состояний частично определенного абстрактного автомата.
2. Произвести кодирование состояний, входных и выходных сигналов автомата, составив таблицы переходов и выходов
3. Синтезировать структурную схему специального управляющего блока (как автомата с память типа Мили) на основе полученных таблиц переходов и выходов, для построения схемы использовать заданные тип триггеров и элементный базис.
3. Провести анализ разработанной структурной схемы специального управляющего блока и получить его описание в виде диаграммы переходов и таблиц выходов и переходов.