Nondeterministic Programming Languages
Nondeterminism or nondeterministic may refer to: Computer science *Nondeterministic programming *Nondeterministic algorithm *Nondeterministic model of computation **Nondeterministic finite automaton **Nondeterministic Turing machine *Indeterminacy in computation (other), Indeterminacy in computation Other *Indeterminism (philosophy) See also

*Indeterminacy (other) {{Disambiguation ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Nondeterministic Programming
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. One method of choice is embodied in backtracking systems (such as Amb (evaluator), Amb, or unification in Prolog), in which some alternatives may " ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]