The book covers all essential aspects of the Theory of Computation, structured across several chapters that span finite automata, formal languages, and computability. Chapter 1: Introduction to Formal Proof and Basic Concepts

+-----------------------------------------------------------------------+ | CHOMSKY HIERARCHY | +-----------------------------------------------------------------------+ | [Type-0] Unrestricted Grammars --> Turing Machines | | [Type-1] Context-Sensitive Grammars --> Linear Bounded Automata | | [Type-2] Context-Free Grammars --> Pushdown Automata | | [Type-3] Regular Grammars --> Finite Automata | +-----------------------------------------------------------------------+ 1. Automata Theory and Formal Languages THEORY OF COMPUTATION - A.A.PUNTAMBEKAR - AbeBooks