{"product_id":"9788194754060-2","title":"Automata Theory and Computability  for BE VTU  Course 18 OBE \u0026 CBCS (V- CSE -18CS54)","description":"\u003cp\u003eModule - 1 Why study the Theory of Computation, Languages and Strings: Strings, Languages. A Language Hierarchy, Computation, Finite State Machines (FSM): Deterministic FSM, Regular languages, Designing FSM, Nondeterministic FSMs, From FSMs to Operational Systems, Simulators for FSMs, Minimizing FSMs, Canonical form of Regular languages, Finite State Transducers, Bidirectional Transducers. (Chapter - 1) Module - 2 Regular Expressions (RE): what is a RE?, Kleene’s theorem, Applications of REs, Manipulating and Simplifying REs. Regular Grammars: Definition, Regular Grammars and Regular languages. Regular Languages (RL) and Non-regular Languages: How many RLs, To show that a language is regular, Closure properties of RLs, to show some languages are not RLs. (Chapters - 2) Module - 3 Context-Free Grammars(CFG): Introduction to Rewrite Systems and Grammars, CFGs and languages, designing CFGs, simplifying CFGs, proving that a Grammar is correct, Derivation and Parse trees, Ambiguity, Normal Forms. Pushdown Automata (PDA): Definition of non-deterministic PDA, Deterministic and Non-deterministic PDAs, Nondeterminism and Halting, alternative equivalent definitions of a PDA, alternatives that are not equivalent to PDA. (Chapters - 3, 4) Module - 4 Algorithms and Decision Procedures for CFLs: Decidable questions, Un-decidable questions. Turing Machine: Turing machine model, Representation, Language acceptability by TM, design of TM, Techniques for TM construction. Variants of Turing Machines (TM), The model of Linear Bounded automata. (Chapter - 5) Module - 5 Decidability: Definition of an algorithm, decidability, decidable languages, Undecidable languages, halting problem of TM, Post correspondence problem. Complexity: Growth rate of functions, the classes of P and NP, Quantum Computation: quantum computers, Church- Turing thesis. Applications: G.1 Defining syntax of programming language, Appendix J: Security (Chapter - 6)\u003c\/p\u003e","brand":"Technical Publications","offers":[{"title":"Default Title","offer_id":47233341849771,"sku":"12276425533","price":525.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0620\/3355\/9723\/files\/9788194754060_1_752196bb-f33b-4802-961a-bd7c4006ca46.jpg?v=1781522463","url":"https:\/\/technicalpublications.in\/products\/9788194754060-2","provider":"Technical Publications","version":"1.0","type":"link"}