Определения автомата и полугруппового автомата были даны в предисловии. Автомат А называется конечным, если конечны ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Плоткин Б.И.
Элементы алгебраической теории автоматов
Определения автомата и полугруппового автомата были даны в предисловии. Автомат А называется конечным, если конечны его основные множества А, X, В. В ряде случаев приходится рассматривать автоматы, множества А, В которых наделены некоторой алгебраической структурой, например являются линейными пространствами. В отличие от полугруппового автомат ( А, X, В), у которого множество входов также не наделено алгебраической структурой, будем называть абсолютно чистым.