О надежности неветвящихся программ в базисе, содержащем функцию вида x{a[1]} [1] v x{a[2]} [2]

Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки в полном конечном базисе B, содержащем некоторую функцию вида x{a[1]} [1] v x{a[2]} [2], a[1], a[2] {0, 1}. Предполагается, что функциональные операторы с вероятностью [эпсилон] ([эпсилон] (0, 1/2) ) подвержены инверсным неисправностям на выходах, а операторы условной остановки абсолютно надежны. Доказано, что любую булеву функцию f можно реализовать неветвящейся программой, функционирующей с ненадежностью не больше [эпсилон] + 81[эпсилон]{2} при [эпсилон] (0, 1/960).

Вы можете купить электронную версию издания «О надежности неветвящихся программ в базисе, содержащем функцию вида x{a[1]} [1] v x{a[2]} [2]». После оплаты (для архивов) оно будет доступно в Личном Кабинете в разделе «Электронные издания». В случае оформления подписки, издание будет доступно по мере поступления от издателя. Формат PDF/HTML. Стоимость — от 90.00 руб.