Описание алгоритма работы цифрового автомата

Для описания работы цифрового автомата наиболее часто используют словесное описание (при первичном описании алгоритма), графы переходов либо таблицы его состояний. Эти методы содержат полную информацию об алгоритме работы устройства и легко преобразуются друг в друга.

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

Таблица состояний дает детализацию описания алгоритма работы цифрового автомата. Она содержит коды всех возможных состояний автомата, которым поставлены в однозначное соответствие его входные ( ) и выходные ( ) коды, а так же заданный порядок смены его состояний ( ). Поэтому таблица содержит столбцов и строк, где - разрядность кода входного сигнала , а - разрядность слова состояния автомата. В таблице на пересечении строки состояния и входного сигнала записывается дробь, числитель которой указывает следующее состояние автомата ( ) а знаменатель – текущее значение выходного кода ( ).