Theory of Automata and Formal Languages

Course Outcome ( CO) Bloom’s Knowledge Level (KL)

At the end of course , the student will be able to understand
Analyse and design finite automata, pushdown automata, Turing machines, formal languages, and
CO 1 K4, K6
grammars
CO 2 Analyse and design, Turing machines, formal languages, and grammars K K 4, 6

Demonstrate the understanding of key notions, such as algorithm, computability, decidability, and
CO 3 K1, K5
complexity through problem solving
CO 4 Prove the basic results of the Theory of Computation. K2,K3

CO 5 State and explain the relevance of the Church-Turing thesis. K1, K5

DETAILED SYLLABUS 3-1-0

Unit Topic Proposed
Lecture
Basic Concepts and Automata Theory: Introduction to Theory of Computation- Automata,
Computability and Complexity, Alphabet, Symbol, String, Formal Languages, Deterministic Finite
Automaton (DFA)- Definition, Representation, Acceptability of a String and Language, Non
I 08
Deterministic Finite Automaton (NFA), Equivalence of DFA and NFA, NFA with ε-Transition,
Equivalence of NFA’s with and without ε-Transition, Finite Automata with output- Moore
Machine, Mealy Machine, Equivalence of Moore and Mealy Machine, Minimization of Finite
Automata, Myhill-Nerode Theorem, Simulation of DFA and NFA
Regular Expressions and Languages: Regular Expressions, Transition Graph, Kleen’s Theorem,
II Finite Automata and Regular Expression- Arden’s theorem, Algebraic Method Using Arden’s
Theorem, Regular and Non-Regular Languages- Closure properties of Regular Languages, 08
Pigeonhole Principle, Pumping Lemma, Application of Pumping Lemma, Decidability- Decision
properties, Finite Automata and Regular Languages, Regular Languages and Computers,
Simulation of Transition Graph and Regular language.
Regular and Non-Regular Grammars: Context Free Grammar(CFG)-Definition, Derivations,
Languages, Derivation Trees and Ambiguity, Regular Grammars-Right Linear and Left Linear
III grammars, Conversion of FA into CFG and Regular grammar into FA, Simplification of CFG, 08
Normal Forms- Chomsky Normal Form(CNF), Greibach Normal Form (GNF), Chomsky
Hierarchy, Programming problems based on the properties of CFGs.
Push Down Automata and Properties of Context Free Languages: Nondeterministic Pushdown
Automata (NPDA)- Definition, Moves, A Language Accepted by NPDA, Deterministic Pushdown
IV Automata(DPDA) and Deterministic Context free Languages(DCFL), Pushdown Automata for 08
Context Free Languages, Context Free grammars for Pushdown Automata, Two stack Pushdown
Automata, Pumping Lemma for CFL, Closure properties of CFL, Decision Problems of CFL,
Programming problems based on the properties of CFLs.
Turing Machines and Recursive Function Theory : Basic Turing Machine Model,
V Representation of Turing Machines, Language Acceptability of Turing Machines, Techniques for
Turing Machine Construction, Modifications of Turing Machine, Turing Machine as Computer of 08
Integer Functions, Universal Turing machine, Linear Bounded Automata, Church’s Thesis,
Recursive and Recursively Enumerable language, Halting Problem, Post’s Correspondance
Problem, Introduction to Recursive Function Theory.
Text books:
1. Introduction to Automata theory, Languages and Computation, J.E.Hopcraft, R.Motwani, and Ullman. 2nd
edition, Pearson Education Asia
2. Introduction to languages and the theory of computation, J Martin, 3rd Edition, Tata McGraw Hill
3. Elements and Theory of Computation, C Papadimitrou and C. L. Lewis, PHI
4. Mathematical Foundation of Computer Science, Y.N.Singh, New Age Internationa
 ST U D YZONE A D I T YA .COM
www.studyzoneaditya.com

ENGINEERING ALL CONTENTS

Books, Quantum, Typing Notes, Handwritten Notes,
Practical File's And All Engineering Study Materials
Available Here.

For more details visit and follow touch to icons below

studyzoneaditya.com B.TECH STUDY ZONE

STUDY ZONE B.TECH STUDY ZONE

Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
Scanned by TapScanner
 ST U D YZONE A D I T YA .COM
www.studyzoneaditya.com

ENGINEERING ALL CONTENTS

Books, Quantum, Typing Notes, Handwritten Notes,
Practical File's And All Engineering Study Materials
Available Here.

For more details visit and follow touch to icons below

studyzoneaditya.com B.TECH STUDY ZONE

STUDY ZONE B.TECH STUDY ZONE