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

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