Верхняя оценка ненадёжности неветвящихся программ с ненадёжным стоп-оператором

Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки в произвольном полном конечном базисе. Предполагается, что вычислительные операторы программы с вероятностью $\varepsilon\in(0,1/2)$ подвержены однотипным константным неисправностям на выходах, а стоп-операторы – с вероятностями $\delta\in(0,1/2)$ и $\eta\in(0,1/2)$ неисправностям $1$-го и 2$-$го рода соответственно. Найдены верхние оценки ненадёжности неветвящихся программ во всевозможных полных конечных базисах.