Alternative (Equivalent) TM definitions
Examples
Lec_23-turing.pdf