Los puntos clave no están disponibles para este artículo en este momento.
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the formal basis of regular expressions; and Floyd relied on it to concisely express backtracking algorithms such as N-queens.
Bodík et al. (Sun,) studied this question.