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

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

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