Turing Machine Formal Definition