Обсуждение:Абстрактный автомат

Не специалист в теории автоматов, но глаз цепляется за некоторые неувязки:

1. Сомнительно требование конечности множества состояний и входного и выходного алфавитов в определении абстрактного автомата:

Формально абстрактный автомат определяется как пятерка ...
Где S — конечное множество состояний автомата, X, Y — конечные входной и выходной алфавиты соответственно

1. Что такое параметры абстрактного автомата? Нигде в статье этот термин не определён.

Ограничение числа параметров абстрактного автомата определило такое понятие как конечный автомат.

--tsul (обс.) 12:52, 29 ноября 2016 (UTC)