Turing Machine In Theory Of Computation