Критерий полноты для неоднородных функций с задержками

Рассмотрена функциональная система неоднородных функций $f\colon\{0,1\}^n\to C$, $C\in\{\{0,1\},\{0,3\}\}$ с задержками $t$ из $\mathbf N_0=\{0,1,2,\ldots\}$, т. е. пар $(f,t)$ с операциями синхронной суперпозиции. Для нее в терминах предполных классов решена задача описания всех ф-полных множеств, т. е. таких, из элементов которых с помощью указанных операций можно получить пару $(f,t)$ для любой функции $f$. Из этого описания вытекает алгоритмическая разрешимость задачи об ф-полноте.