Разрешимый случай задачи о полноте автоматных функций

Найден эффективный критерий решения задачи о полноте относительно операции суперпозиции и обратной связи конечных систем автоматных функций со всеми истинностными отображениями, из которого вытекает алгоритмическая разрешимость этой задачи.