Deterministic Turing machine