天使の非決定論

コンピューター サイエンスにおいて、天使の非決定性とは、特定の選択が、その結果が可能である場合に常に望ましい結果となるように宣言される 非決定性アルゴリズムの実行です。

たとえば、非決定性チューリング マシンの停止分析では、選択肢は常にプログラムの 終了を優先します。

「天使」という用語は、天使が慈悲深く、全知全能の神に代わって行動するというキリスト教の宗教的慣習に由来しています。

• Wirsing, M.; Broy, M. (1981 年 3 月 5 日)。「非決定性プログラミング言語の代数的仕様について」。Caap '81。コンピュータ サイエンスの講義ノート。第 112 巻。Springer、ベルリン、ハイデルベルク。pp. 162–179。doi : 10.1007 / 3-540-10828-9_61。ISBN 978-3-540-10828-3。
• Bodik, Rastislav; Chandra, Satish; Galenson, Joel; Kimelman, Doug; Tung, Nicholas; Barman, Shaon; Rodarmor, Casey (2010). 「天使の非決定性によるプログラミング」. SIGPLAN Notices . 45 (1): 339–352. doi :10.1145/1707801.1706339. ISSN  0362-1340.