Nondeterministic programming: Difference between revisions

Content deleted Content added
cat computing -> computer programming
m {{Programming paradigms}} , {{Wikify}}
Line 1:
{{Unreferenced|date=September 2008}}
{{context}}
{{Wikify|date=December 2008}}
{{Programming paradigms}}
 
A '''nondeterministic programming''' language is a language which can specify, at certain points in the program (called "choice points"), various alternatives for program flow. Unlike an if-then statement, the method of choice between these alternatives is not directly specified by the programmer; the program must decide at runtime 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.