The Sixth Edition of An Introduction to Formal Languages and Automata provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course. Written to address the fundamentals of formal languages, automata, and computability, the text is designed to familiarize students with the foundations and principles of computer science and to strengthen the students' ability to carry out formal and rigorous mathematical arguments. The author, Peter Linz, continues to offer a straightforward, uncomplicated treatment of formal languages and automata and avoids excessive mathematical detail so that students may focus on and understand the underlying principles. New & Key Features: Accessible approach allows students to clearly understand key content while retaining the appropriate mathematical notations and theorems required for the course New Chapter Synopsis, found at the end of the chapter, recap important concepts found in the text Every major idea is preceded by a motivating example, drawn from applications, that introduces the concept and illustrates its usefulness The exercise section has been restructured and improved with accessible exercises more closely tied to the examples in the text A new Instructor's Manual includes more detailed solutions to problems found in the text