천사의 비결정론

컴퓨터 과학에서, 천사의 비결정론은 특정 선택이 가능한 경우 항상 원하는 결과를 선호하도록 선언되는 비결정론적 알고리즘의 실행이다.

예를 들어, 비결정론적 튜링 기계의 분석을 중단할 때, 선택은 항상 프로그램의 종료를 선호할 것이다.

"천사"라는 용어는 천사들이 자애롭고 전지전능한 신을 대신해서 행동하는 기독교의 종교적 관습에서 유래했습니다.

레퍼런스

Wirsing, M.; Broy, M. (5 March 1981). "On the algebraic specification of nondeterministic programming languages". Caap '81. Lecture Notes in Computer Science. Springer, Berlin, Heidelberg. 112: 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). "Programming with Angelic Nondeterminism". SIGPLAN Notices. 45 (1): 339–352. doi:10.1145/1707801.1706339. ISSN 0362-1340.