improvements turing machine