Even those with little mathematical background will be able to understand this user-friendly book, which focuses on formal languages and models of computation. (The author devotes an entire chapter to induction and recursive definitions.) Introduction to Languages and the Theory of Computation weaves numerous examples and highly readable discussions of the key ideas--and how they fit into the larger picture--in between rigorous proofs of the theorems.
