deterministic Turing machine