An Introduction to Formal Languages and Automata

This text covers all the material essential to an introductory theory of computation course for undergraduate students. The text has a solid mathematical base, and provides precise mathematical statements of theorems and definitions, giving an intuitive motivation for constructions and proofs. Proofs and arguments are clearly stated, without excessive mathematical detail, to help students understand the basic principles. The text is illustrated with integrated examples of new concepts as well as an abundance of exercises to aid in the development of problem solving skills.