Конечный автомат
задан, если заданы алфавиты
, начальное состояние
, функция переходов
и функция выходов
. Функции
и
должны удовлетворять условию однозначности и в случае вполне определенных автоматов - условию полной определенности.
Задание автоматов направленными графами.






