Introduction to Theory of Computation by Bikash Kanti Sarkar

The book introduces readers to Theory of Computation, one of the fundamental pillars of Computer Science, and can be used as a core textbook by undergraduate students of Engineering. It offers a cohesive presentation of all aspects of Theoretical Computer Science, namely, automata, formal languages, computability and complexity. It also covers the mathematical preliminaries necessary for the subject. As Theory of Computation forms an important part of the syllabus of various national and state-level competitive examinations and is also a high-scoring area, several problems from previous competitive examinations have also been included in this book, and shortcut tricks have been provided, where feasible. Salient features • Proper mathematical explanation for various computational models, numerous figures, highlighted notes and shortcut tips for easy understanding of ideas • Numerous solved examples mapping with other relevant subjects and real-world problems • Ideas for research direction and project-based problems at the end of every chapter • Key Points to draw attention to the important ideas/concepts discussed • Exercises comprising practice problems as well as MCQs at the end of every chapter