Introduction to Computation

This is a brief overview of the topics that we'll cover in the rest of this series: Turing machines, the lambda calculus, the halting problem, Turing equivalence, and the Chomsky hierarchy.