Working on turing machine