nondeterministic Turing machine
Appearance
English
[edit]Noun
[edit]nondeterministic Turing machine (plural nondeterministic Turing machines)
- (computer science) 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.
- Coordinate term: deterministic Turing machine