Angelic non-determinism is a concept from the field of theoretical computer science, particularly in the study of semantics in programming languages and computational models. It is associated with the classification of non-deterministic behaviors in computations. In non-deterministic computation, there are multiple possible outcomes for a given computational step. Angelic non-determinism allows a computation to choose from several possibilities, but it selects the "best" or "most favorable" outcome based on certain criteria.
Articles by others on the same topic
There are currently no matching articles.