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

Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки (стоп-оператором) в произвольном полном конечном базисе. В исправном состоянии стоп-оператор прекращает работу программы, если на его вход поступает единица. Предполагается, что и функциональные операторы, и стоп-операторы программы ненадежны, переходят в неисправные состояния независимо друг от друга. Считаем, что вычислительные операторы с вероятностью $\epsilon (\epsilon\in(0,1/2))$ подвержены инверсным неисправностям на выходах. А для операторов условной остановки рассматриваются два типа неисправностей. Неисправность первого типа характеризуется тем, что при поступлении единицы на вход стоп-оператора он с вероятностью $\delta (\delta\in(0,1/2))$ не срабатывает, и, следовательно, работа программы продолжается. Неисправность второго типа такова, что при поступлении нуля на вход стоп-оператора он с вероятностью $\eta (\eta\in(0,1/2))$ срабатывает, и, следовательно, работа программы прекращается. Доказано, что любую булеву функцию $f$ можно реализовать программой, ненадежность которой не больше $max\{\epsilon,\eta\}+145\sigma^2$ при всех $\epsilon\in(0,1/960]$ и $\sigma=max\{\epsilon,\delta,\eta\}$.