Nondeterministic programming: Difference between revisions

Revision as of 19:00, 25 May 2023

Revision as of 22:57, 1 February 2024

Line 1:

{{more citations needed|date =April 2017}}

{{Programming paradigms}}

A '''nondeterministic programming''' language is a [[programming language|language]] which can specify, at certain points in the [[Computer program|program]] (called "choice points"), various alternatives for [[Control flow|program flow]]. Unlike an [[Conditional (computer programming)|if-then statement]], the method of choice between these alternatives is not directly specified by the programmer; the program must decide at [[runtime (program lifecycle phase)|run time]] between the alternatives, via some general method applied to all choice points. A [[programmer]] specifies a limited number of alternatives, but the program must later choose between them. ("Choose" is, in fact, a typical name for the nondeterministic operator.) A hierarchy of choice points may be formed, with higher-level choices leading to branches that contain lower-level choices within them.

Line 17 ⟶ 16:

==References==

{{Reflist}}

{{Programming paradigms navbox}}

{{DEFAULTSORT:Nondeterministic Programming}}