По способу формирования функции выходов выделяют три типа абстрактных автоматов: автомат Мили, автомат Мура, С-автомат. Автомат Мили характеризуется системой уравнений:
y (t) =
(a (t), x (t));
a (t+1) = δ (a (t), x (t)). (1-1)
Автомат Мура - системой уравнений:
y (t) = (a (t));
a (t+1) = δ (a (t), x (t)). (1-2)
С-автомат - системой уравнений:
у= y1
y2
y1 (t) =
(a (t),x (t));
У2 (t) = 
2 (a (t));
a (t+1) =δ (a (t),x (t)).
Произвольный абстрактный автомат Мили или Мура (рис.1.1.) имеет один входной и один выходной каналы. Произвольный абстрактный С-автомат имеет один входной и два выходны х канала (рис.1.2.).
Рисунок 1.1 - Абстрактный автомат
Рисунок.1.2 Абстрактный С-автомат
Если на вход абстрактного автомата Мили или Мура, установленного в начальное состояние ао, подавать буква за буквой некоторую последовательность букв входного алфавита х (0), х (1),. - входное слово, то на выходе автомата будут последовательно появляться буквы выходного алфавита у (0), у (1),. - выходное слово. Для случая С-автомата на его выходах будут появляться две последовательности: y1 (0), y1 (1),. и y2 (0), y2 (1),. В абстрактном С - автомате выходной сигнал y2 (t) =
(a (t)) выдается все время, пока автомат находится в состоянии a (t). Выходной сигнал y1 (t) =λ1 (a (t),x (t)) выдается во время действия входного сигнала x (t) при нахождении С-автомата в состоянии a (t).
Таким образом, на уровне абстрактной теории функционирование цифрового автомата понимается как преобразование входных слов в выходные слова.
Выделяют полностью определенные и частичные автоматы.
Полностью определенным называется абстрактный цифровой автомат, у которого функция переходов или функция выходов, или обе эти функции определены для всех пар переходов (xi,aj).
Частичным называется абстрактный цифровой автомат, у которого функция переходов или функция выходов, или обе эти функции определены не для всех пар переходов (xi,aj).
Абстрактный цифровой автомат называется инициальным, если на множестве его состояний А выделяется начальное состояние ао.
Другое по теме:
Импульсный блок питания на базе БП ПК Тема «Импульсный блок питания на базе БП ПК» Предлагаемое устройство помимо неплохих технических характеристик, привлекательно тем, что за его основу взят импульсный блок питания отслужившего свой срок IBM-совместимого персонального компьютера ...