Theoretical Introduction to Turing Machine, A