Nondeterministic programming: Difference between revisions

Content deleted Content added
tag for merging with Nondeterministic algorithm
SmackBot (talk | contribs)
m Date/fix the maintenance tags or gen fixes
Line 1:
{{mergeMerge|Nondeterministic algorithm|date=July 2007}}
 
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.