Démonický nedeterminismus - Demonic non-determinism - Wikipedia

Termín, který popisuje provedení a nedeterministický program kde jsou učiněna veškerá rozhodnutí ve prospěch nevypovězení.^{[Citace je zapotřebí ]}

Reference

Wirsing, M .; Broy, M. (5. března 1981). "K algebraické specifikaci nedeterministických programovacích jazyků". Caap '81. Přednášky z informatiky. Springer, Berlín, Heidelberg. 112: 162–179. doi:10.1007/3-540-10828-9_61. ISBN  978-3-540-10828-3.

McIver, A. K .; Morgan, Carroll (6. září 2001). „Částečná správnost pravděpodobnostních démonických programů“. Teoretická informatika. 266 (1): 513–541. doi:10.1016 / S0304-3975 (00) 00208-5. ISSN  0304-3975.