Request Your Digital Review Copy

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 help 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 
• NEW --> Three NEW chapters on parsing are included in a new section, Part 2: Applications, and focus on how to apply theory from previous chapters into the real world
• The accessible approach allows students to clearly understand key content while retaining the appropriate mathematical notations and theorems required for the course
• Central ideas are preceded by a motivating example, drawn from applications, that introduces the concept and illustrates its usefulness