10.4 Formal Models
The Church Turing thesis says that the informal idea of effective computation is captured by several equivalent formal models, and this section describes the main models that are used in computability theory. The purpose is not to develop every model in full technical detail, but to explain what each model treats as a computation, how it represents data, and why it defines the same class of computable functions. A formal...