Introduction to Languages and the Theory of Computation
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 Computationweaves 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.--This text refers to an out of print or unavailable edition of this title.