nondeterministic Turing machine

Computer, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Science, Sciences A variant of a Turing machine whose governing rules may specify more than one possible action for any given combination of the state of the machine and symbol being read.