Source: wikibot/demonic-non-determinism
= Demonic non-determinism
{wiki=Demonic_non-determinism}
Demonic non-determinism is a concept from the field of formal methods and theoretical computer science, particularly in the context of programming languages and semantics. It refers to a type of non-determinism in which the behavior of a program can be influenced by some external, adversarial control, often thought of as a "demon" that chooses paths or outcomes in a non-deterministic manner.