turing machine programming techniques