The Theory of Computing
Finite State Automata, Rebular Languages, and Regular Expressions
Pushdown Automata and Context Free Languages
What is Computer Science?
Machine Models and the Problems They Compute
A Brief History of the Theory of Computing
Machines and Languages