deterministic Turing machine

Noun

 * 1)  A Turing machine whose governing rules specify only one possible action for any given combination of the state of the machine and symbol being read.