nondeterminism การใช้

• Dijkstra argued that it was impossible to implement unbounded nondeterminism.
• The Law of Discreteness implies the property of unbounded nondeterminism.
• These early models by Milner and Hoare both had the property of bounded nondeterminism.
• One way to understand these concepts is as free models of theories of nondeterminism.
• The opposite of determinism is some kind of indeterminism ( otherwise called " nondeterminism " ).
• In global state nondeterminism, a " choice " is made for the " next " global state.
• The actor model features unbounded nondeterminism which was captured in a mathematical model by Will Clinger using domain theory.
• Modern, theoretical CSP ( [ Hoare 1985 ] and [ Roscoe 2005 ] ) explicitly provides unbounded nondeterminism.
• The construct which represents side effects is an example of a nondeterminism, parsing, and software transactional memory.
• This definition does not involve nondeterminism and is analogous to the verifier definition of "'NP " '.
• Nondeterminism can be inadvertently introduced into a nominally deterministic choice if the initial events of both sides of the choice are identical.
• This is especially useful when dealing with the semantics of different side effects, such as nontermination, mutable state or nondeterminism.
• In this way, S can be mathematically characterized in terms of all its possible behaviors ( including those involving unbounded nondeterminism ).
• The following sample program is to demonstrate Thue's nondeterminism ( and to show an example of an infinite loop, besides ).
• Until this time, it could be placed only in nondeterminism ( the asymmetric variant STCON was known to be complete for NL ).
• Thus concurrent logic programming implements a form of " don't care nondeterminism ", rather than " don't know nondeterminism ".
• Thus concurrent logic programming implements a form of " don't care nondeterminism ", rather than " don't know nondeterminism ".
• If the machine is allowed to have multiple tape heads, it can parse any language in NL, according to whether nondeterminism is allowed.
• :: Actually, when I think about it, theoretical nondeterminism often means talk ) 00 : 35, 17 December 2012 ( UTC)
• Although it seems that nondeterminism may produce exponential gains in time, this theorem shows that it has a markedly more limited effect on space requirements.