An 'Introduction to the Theory of Computation' aims to provide insight into models of computation and their relative power. It focuses on mathematical theories--such as automata and formal languages--that provide abstract models that are easy to explore, because their formalism avoids irrelevant details. Material gradually increases in complexity, building upon previously introduced topics, with study made concrete by relating it to programs.