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