Turing machine model