Способы задания конечных автоматов

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

Задание автоматов направленными графами.