Formal Languages and Automata Theory by A.A. Puntambekar is a widely used textbook for undergraduate computer science students, particularly those in B.E., B.Tech, and MCA programs. It provides a comprehensive introduction to the mathematical models of computation that form the basis of modern computer science. Understanding Formal Languages and Automata Theory
Turing Machines (TM): The most powerful computational model, capable of recognizing Recursively Enumerable Languages and simulating any computer algorithm. Book Features & Contents
Regular Languages: Exploring regular expressions and their closure properties.
Most college libraries and public libraries have multiple copies of Puntambekar's Formal Languages and Automata Theory. Scan the chapters you need (for personal study, which falls under fair use in many jurisdictions). Alternatively, use digital library platforms:
Pushdown Automata (PDA): Machines that utilize a stack for memory, allowing them to recognize Context-Free Languages, which are essential for programming language syntax.
If you're interested in learning more about formal languages and automata theory, you may also want to check out the following books: