turing machine for reversing a string