Описание функционирования цифровых автоматов

Процесс функционирования ЦА может иметь подробное словесное описание, характеризующее взаимосвязь выходных реакций автомата, входных воздействий и его внутренних состояний. Однако такой способ представления функционирования обладает рядом недостатков, среди которых можно выделить громоздкость и отсутствие наглядности.

Хорошим формализованным способом представления работы автомата является так называемая совмещенная таблица переходов-выходов ЦА (таблица переходов). Одновременно с таблицами переходов будем рассматривать способ представления, называемый графом переходов автомата, поскольку обе эти формы представления однозначно соответствуют друг другу.

Рассмотрим табл. 5.1. В верхней строчке таблицы записаны номера внутренних состояний автомата a_j. В клетке таблицы на пересечении i-й строки и j-го столбца записывается номер состояния, в которое переходит автомат из j-го состояния под воздействием i-го входного сигнала. Для автомата Мили в этой же клетке указывается выходной сигнал, формируемый автоматом при таком переходе. Выходные сигналы автомата Мура, формирующиеся в моменты фиксации состояний, записываются в строке таблицы, расположенной над строкой внутренних состояний (табл. 5.2).

Альтернативной формой представления данных о переходах автомата является граф переходов. Состояния автомата представляются вершинами графа, переходы между ними – ориентированными ребрами, которые указывают начальное и последующее состояния перехода автомата. Ребро обозначается входным сигналом, под воздействием которого осуществляется соответствующий ему переход. Если строится граф переходов для автомата Мили, то переход также отмечается выходным сигналом. Выходные сигналы автомата Мура указываются рядом с теми состояниями, которым они соответствуют.

Справа от табл. 5.1 и 5.2 изображены соответствующие им графы переходов (рис. 5.5, 5.6).

Таблица 5.1

Таблица 5.2