Main

Computability

Article Turing Machines The model, the universal machine, and the halting problem.