An introduction to computation theory: fi nite automata, regular languages, pushdown automata, context-free languages, Turing machines, recursive languages and functions, and computational complexity.