Turing Machine (Formal Definition)