{"product_id":"9789355852595","title":"Theory of Computation  for BE Anna University R21CBCS (IV - CSE \/IT   - CS3452)","description":"\u003cp\u003eSyllabus Theory of Computation - (CS3452) UNIT I\tAUTOMATA AND REGULAR EXPRESSIONS Need for automata theory - Introduction to formal proof - Finite Automata (FA) - Deterministic Finite Automata (DFA) - Non-deterministic Finite Automata (NFA) - Equivalence between NFA and DFA - Finite Automata with Epsilon transitions - Equivalence of NFA and DFA - Equivalence of NFAs with and without ε-moves - Conversion of NFA into DFA - Minimization of DFAs. (Chapter - 1) UNIT II \tREGULAR EXPRESSIONS AND LANGUAGES Regular expression - Regular Languages- Equivalence of Finite Automata and regular expressions - Proving languages to be not regular (Pumping Lemma) - Closure properties of regular languages. (Chapter - 2) UNIT III \tCONTEXT FREE GRAMMAR AND PUSH DOWN AUTOMATA Types of Grammar - Chomsky’s hierarchy of languages - Context-Free Grammar (CFG) and Languages - Derivations and Parse trees - Ambiguity in grammars and languages - Push Down Automata (PDA) : Definition - Moves - Instantaneous descriptions - Languages of pushdown automata - Equivalence of pushdown automata and CFG-CFG to PDA-PDA to CFG - Deterministic Pushdown Automata. (Chapter - 3) UNIT IV NORMAL FORMS AND TURING MACHINES Normal forms for CFG - Simplification of CFG - Chomsky Normal Form (CNF) and Greibach Normal Form (GNF) - Pumping lemma for CFL - Closure properties of Context Free Languages -Turing Machine : Basic model - definition and representation - Instantaneous Description - Language acceptance by TM - TM as Computer of Integer functions - Programming techniques for Turing machines (subroutines). (Chapter - 4) UNIT V \tUNDECIDABILITY Unsolvable Problems and Computable Functions - PCP-MPCP - Recursive and recursively enumerable languages - Properties - Universal Turing machine -Tractable and Intractable problems - P and NP completeness - Kruskal’s algorithm - Travelling Salesman Problem - 3-CNF SAT problems.  (Chapter - 5)\u003c\/p\u003e","brand":"Technical Publications","offers":[{"title":"Default Title","offer_id":46992721477924,"sku":"9789355852595","price":272.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0671\/3661\/8788\/files\/9789355852595_1.jpg?v=1694685030","url":"https:\/\/bookstation.in\/products\/9789355852595","provider":"BookStation","version":"1.0","type":"link"}