 Nondeterministic Turing machine

A nondeterministic computation may have several possible next configurations and accepts when at least one computation path accepts.