Нижняя оценка ненадежности неветвящихся программ с оператором условной остановки

Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки. Предполагается, что функциональные операторы с вероятностью $\epsilon (\epsilon \in (0,1/2))$ подвержены инверсным неисправностям на выходах, а операторы условной остановки абсолютно надежны. Доказано, что любую функцию $f \in K$ (класс $K$ найден явно) нельзя реализовать неприводимой неветвящейся программой с ненадежностью меньше $\epsilon (1 - \epsilon)^m$, где $m$ - число функциональных операторов в рограмме. Из этого и ранее полученного результата о верхней оценке ненадежности неветвящихся программ следует, что почти все функции можно реализовать асимптотически оптимальными по надежности неветвящимися программами, функционирующими с ненадежностью, асимтотически равной $\epsilon$ при $\epsilon\to 0$.