 Introduction to Automata Theory, Languages, and Computation

"Introduction to Automata Theory, Languages, and Computation" is a foundational textbook in computer science, primarily focused on the theoretical aspects of computer science, particularly in the areas of formal languages, automata, and computation theory. Written by Michael Sipser, it is widely used in academic courses on computation theory and is recognized for its clarity, rigor, and comprehensive coverage of the subject.