Introduction to Theory of Computation

Computability, formal languages, and the theoretical limits of computing.