9.2. Turing Machine
9.2.1. A General Model of Computation
9.2.2. Interpreting Turing Machines
9.2.3. Turing-Decidable vs. Turing-Acceptable Languages
9.2.4. Making More Complicated Machines part 1
9.2.5. Making More Complicated Machines part 2
9.2.6. Making More Complicated Machines part 3