| 词条 | Demonic non-determinism |
| 释义 |
A term which describes the execution of a non-deterministic program where all choices that are made favour non-termination.{{Cn|date=August 2014}} References{{cite journal |last1=Wirsing |first1=M. |last2=Broy |first2=M. |title=On the algebraic specification of nondeterministic programming languages |journal=CAAP '81 |date=5 March 1981 |pages=162–179 |doi=10.1007/3-540-10828-9_61 |url=https://rd.springer.com/chapter/10.1007/3-540-10828-9_61 |publisher=Springer, Berlin, Heidelberg |language=en}}{{cite journal |last1=McIver |first1=A. K. |last2=Morgan |first2=Carroll |title=Partial correctness for probabilistic demonic programs |journal=Theoretical Computer Science |date=6 September 2001 |volume=266 |issue=1 |pages=513–541 |doi=10.1016/S0304-3975(00)00208-5 |url=https://www.sciencedirect.com/science/article/pii/S0304397500002085 |issn=0304-3975}}{{comp-sci-theory-stub}} 1 : Theoretical computer science |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。