Демонический недетерминизм

Термин, описывающий выполнение недетерминированной программы , в которой все варианты выбора сделаны в пользу незавершения ее завершения. ^{[ нужна ссылка ]}

Ссылки

Вирсинг, М.; Брой, М. (5 марта 1981 г.). «Об алгебраической спецификации недетерминированных языков программирования». Каап '81 . Конспекты лекций по информатике. Том. 112. Шпрингер, Берлин, Гейдельберг. стр. 162–179. дои : 10.1007/3-540-10828-9_61 . ISBN 978-3-540-10828-3 .

МакИвер, АК ; Морган, Кэрролл (6 сентября 2001 г.). «Частичная корректность вероятностных демонических программ» . Теоретическая информатика . 266 (1): 513–541. дои : 10.1016/S0304-3975(00)00208-5 . ISSN 0304-3975 .

П ≟ НП

Эта теоретической информатикой, статья, связанная с незавершена . Вы можете помочь Википедии, расширив ее .