Классификация абстрактных автоматов

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