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

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

Математические вопросы и теория численных методов