Formal Definition Of Turing Machine