Implementing deterministic turing machine.