Home / Our Books /  Engineering Books < CS/IT Branch / Theory of Computation(toc)

More Books related to same category

Analysis of Algorithms

Rs. 300

Discrete Mathematical Structures

Rs. 300

Electrical Machines II

Rs. 300

Optical Communication

Rs. 250

Theory of Computation(toc)

By Manish Ranglal Singh, Shreya Gupta

Ratings | 0 Reviews

Rs. 275


Specifications of Theory of Computation(toc)

Book Details

  • 978-93-83733-07-7
  • English
  • 2019
  • Paper Back
  • -


  • Unit 1. Introduction: Objective, scope and outcome of the course.


    Unit 2. Finite Automata & Regular Expression: Basic machine, Finite state machine, Transition graph, Transition matrix, Deterministic and nondeterministic finite automation, Equivalence of DFA and NDFA, Decision properties, minimization of finite automata, Mealy & Moore machines. Alphabet, words, Operations, Regular sets, relationship and conversion between Finite automata and regular expression and vice versa, designing regular expressions, closure properties of regular sets, Pumping lemma and regular sets, Myhill- Nerode theorem , Application of pumping lemma, Power of the languages.


    Unit 3. Context Free Grammars (CFG), Derivations and Languages, Relationship between derivation and derivation trees, leftmost and rightmost derivation, sentential forms, parsing and ambiguity, simplification of CFG, normal forms, Greibach and Chomsky Normal form , Problems related to CNF and GNF including membership problem.


    Unit 4. Nondeterministic PDA, Definitions, PDA and CFL, CFG for PDA, Deterministic PDA, and Deterministic PDA and Deterministic CFL , The pumping lemma for CFL’s, Closure Properties and Decision properties for CFL, Deciding properties of CFL.


    Unit 5. Turing Machines: Introduction, Definition of Turing Machine, TM as language Acceptors and Transducers, Computable Languages and functions, Universal TM & Other modification, multiple tracks Turing Machine. Hierarchy of Formal languages: Recursive & recursively enumerable languages, Properties of RL and REL, Introduction of Context sensitive grammars and languages, The Chomsky Hierarchy.


    Unit 6. Tractable and Untractable Problems: P, NP, NP complete and NP hard problems, Un-decidability, examples of these problems like vertex cover problem, Hamiltonian path problem, traveling sales man problem.