Updated turing.erl