Синтез надежных неветвящихся программ с условной остановкой в полном конечном базисе, содержащем x[1] & x[2]

Рассматривается реализация булевых функций неветвящимися программами с условной остановкой в полном конечном базисе B, содержащем конъюнкцию x[1] & x[2]. Предполагается, что функциональные операторы с вероятностью эпсилон подвержены инверсным неисправностям на выходах. Решается задача синтеза надежных неветвящихся программ в двух случаях: 1) оператор условной остановки абсолютно надежен, 2) оператор условной остановки ненадежен.

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