Angelic non-determinism
http://dbpedia.org/resource/Angelic_non-determinism an entity of type: Thing
In computer science, angelic non-determinism is the execution of a nondeterministic algorithm where particular choices are declared to always favor a desired result, if that result is possible. For example, in halting analysis of a Nondeterministic Turing machine, the choices would always favor termination of the program. The "angelic" terminology comes from the Christian religious conventions of angels being benevolent and acting on behalf of an omniscient God.
rdf:langString
rdf:langString
Angelic non-determinism
xsd:integer
39975515
xsd:integer
1082200769
rdf:langString
In computer science, angelic non-determinism is the execution of a nondeterministic algorithm where particular choices are declared to always favor a desired result, if that result is possible. For example, in halting analysis of a Nondeterministic Turing machine, the choices would always favor termination of the program. The "angelic" terminology comes from the Christian religious conventions of angels being benevolent and acting on behalf of an omniscient God.
xsd:nonNegativeInteger
1398