add deterministic turing machine