An Introduction to Formal Languages and Automata, Seventh Edition is designed for an introductory course on formal languages, automata, computability, and related matters forming what is known as the theory of computation. The text takes a problem-solving approach, in which students' abilities are tested at various levels. The Seventh Edition familiarizes students with the foundations and principles of computer science, teaches material useful in subsequent courses, and strengthens students' ability to carry out formal and rigorous mathematical arguments. Key Features: New Introductory Exercises to bridge concepts to more difficult exercises Chapters 1-14 of the sixth edition, with the new exercises, are now reorganized as Part I: Theory.