Computability
Computability Chapter 5. Overview Turing Machine (TM) considered to be the most general computational model that can be devised (Church-Turing thesis)