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

More Books related to same category

Water Resource Engineering-I

Rs. 220

Advanced Engineering Mathematics-II

Rs. 300

Control System Engineering

Rs. 310

Biomedical Instrumentation

Rs. 200

Advance Topics in Operating Systems

Rs. 230

Theory of Computation (ToC)

By Shreya Gupta, Manish Ranglal Singh

Ratings | 0 Reviews

Rs. 275

×
×
×
×
×

Specifications of Theory of Computation (ToC)

Book Details

  • 978-93-83733-05-7
  • -
  • 2019
  • -
  • -

Contents

  • 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.