An Introduction to Theory of Computation by Mitsunori Ogihara - 9783031847394

An Introduction to Theory of ComputationAn Algorithmic Approach\nAuthor(s): Mitsunori Ogihara\nFormat: Hardback\nPublisher: Springer International Publishing AG, Switzerland\nImprint: Springer International Publishing AG\nISBN-13: 9783031847394, 978-3031847394\nSynopsis\nThis textbook aims to provide a comprehensive introduction to the theory of computation for upper-level undergraduate students and first-year graduate students in computer science and related disciplines. It covers a wide range of foundational topics essential for understanding the principles and applications of computation.\n\nThe book begins with regular languages, exploring finite automata, nondeterministic finite automata, regular expressions, and the equivalence among these apparatuses. It explores state minimization and the Myhill-Nerode Theorem, offering techniques such as pumping lemmas to identify non-regular languages and using the Myhill-Nerode Theorem for non-regularity proofs. Additionally, the closure p.