An Introduction to Formal Languages and Automata, Seventh Edition is designed for an introductory course on formal languages, automata, compatibility, and related matters forming what is known as the theory of computation.