Алгоритмически разрешимые случаи в задаче выразимости автоматов относительно суперпозиции

Авторы вводят понятие расширенной суперпозиции, как суперпозиции с обязательным наличием в системе «задержки» и функции Шеффера. Для расширенной суперпозиции авторам удалось доказать алгоритмическую разрешимость задачи выразимости для широкого класса автоматных функций: константных автоматных функций, групповых автоматных функций Медведева, а также линейных автоматных функций, что в случае обычной суперпозиции было алгоритмически неразрешимо.