4. More Powerful Models of Computation

4.1. Turing machines

4.2. Other models