Definition:Deterministic Turing Machine