Nondeterministic Turing machine
= Nondeterministic Turing machine
{c}
{wiki}
A nondeterministic computation may have several possible next configurations and accepts when at least one computation path accepts.
= Nondeterministic computation
{synonym}