Методические указания к самостоятельной работе по курсу “Прикладная теория цифровых автоматов”, страница 21

 Набор (смесь) триггеров для запоминающей части автомата определяется числами     и состоит из , ,  и  триггеров. Все триггеры синхронного типа. Если число внутренних состояний требует менее четырех триггеров, то берутся несколько триггеров в порядке следования , , , , число которых достаточно для кодирования состояний.

          Так как  и , то из рис.6.1. выбираем первую (верхнюю) часть ГСА по номеру 1 и вторую (нижнюю) по номеру 7.

          Необходимо построить микропрограммный автомат Мили () в базисе Шеффера (). Реализующая исходная ГСА показана на рис.6.2. На ней отмечены крестиками внутренние состояния для автомата Мили. (Прямые и обратные структурные таблицы автомата - таблю7.7 и 7.8). В кружках на ГСА цифрами 1, 2, 3 отмечены места слияния двух или более дуг, а также вход конечной вершины, даже если к ней подходит одна дуга. Эта отметка необходима для построения ЛСА в пятой задаче.

7 ПРИМЕРЫ РЕШЕНИЯ ТИПОВЫХ ЗАДАЧ

          Задача 1. Составить полную и сокращенную таблицы переходов, а также граф переходов и матрицу переходов асинхронного триггера  типа.

          Решение. Триггер  типа - это триггер с двумя входами  и , которых в отличие от триггера  допускает наличие на входах комбинации . Благодаря приоритету входа  триггер  типа при  из состояния  переходит в состояние . Решение приводится без особых пояснений.