Toc - Notes
Toc - Notes
ON
Computer Organization
Formal Languages and Automata Theory
II B.TECH II SEMESTER
(JNTUA-R15)
Page 1
Properties of Recursive and Recursively enumerable languages,
Undecidability, Reducibility, Undeciadable problems about TMs, Post
Correspondence Problem(PCP), Modified PCP. Text Books:
1. Introduction to Automata Theory, Formal Languages and Computation,
Shyamalendu kandar, Pearson.
2. Introduction to Automata Theory, Languages, and Computation, Third
Edition, John E.Hopcroft, Rajeev Motwani, Jeffery D. Ullman, Pearson.
Reference Books:
1. Introduction to Languages and the Theory of Computation, John C Martin,
TMH, Third Edition.
2. Theory of Computation, Vivek Kulkarni, OXFORD.
3. Introduction to the Theory of Computation., Michel Sipser, 2nd Edition, Cengage Learning
4. Theory of computer Science Automata, Languages and
Computation, K.L.P. Mishra,Chandrasekaran, PHI, Third Edition.
5. Fundamentals of the Theory of Computation, Principles and Practice,
Raymond Greenlaw, H. James Hoover, Elsevier, Morgan Kaufmann.
6. Finite Automata and Formal Language A Simple Approach, A.M. Padma Reddy, Pearson
Page 2
CONTENTS
1 UNIT-I PG.NO
1.1 Basics of Set Theory 6
1.2 Relations on sets 7
1.3 Deductive proofs 7
1.4 Alphabets, Strings, Languages 8
1.5 Finite automata 10
1.6 DFA 10
1.7 NFA 11
1.8 Equivalence of DFA & NFA 13
1.9 conversion 16
1.10 FA with output 21
1.11 Conversion of machine to other 23
1.12 Minimization of FA 26
1.13 Myhill - Nerode Theorem 28
UNIT-II
2.1 Regular Expression(RE) 29
2.2 FA and RE 30
2.3 Application of RE 31
2.4 Algebraic laws for RE 31
2.5 The Arden’s Theorem 34
2.6 Using Arden’s theorem to construct RE from FA 36
2.7 Pumping Lemma for RLs 37
2.8 Applications of Pumping Lemma 38
2.9 Equivalence of Two REs 39
2.10 Constructing FA from Regular Grammar 40
2.11 Closure properties of RLs 41
2.12 Decision problem’s of RLS 41
2.13 Applications of REs and FAs 41
UNIT-III
3.1 Ambiguity in CFGs 43
3.2 Left recursion and Left factoring 52
3.3 Simplification of CFGs 55
3.4 Normal Forms 58
3.5 Linear grammars 59
3.6 Closure properties for AFLs 61
3.7 Pumping Lemma for CFLs 62
3.8 Decision problems for CFLs 62
UNIT-IV
4.1 Push Down Automata (PDA): 64
4.2 Informal introduction 64
4.3 Graphical notation 65
4.4 Instantaneous description 66
4.5 The Languages of a PDA 67
4.6 Equivalence of PDAs and CFGs 68
4.7 Deterministic Push Down Automata 72
4.8 Two Stack PDA 73
Page 3
UNIT-V
5.1 Turing Machines and Undecidability: 77
5.2 Basics of Turing Machine (TM) 77
5.3 Transitional Representation of TMs 78
5.4 Instantaneous description 79
5.5 Non Deterministic TM 80
5.6 Conversion of Regular Expression to TM 84
5.7 Two stack PDA and TM 85
5.8 Variations of the TM 87
5.9 TM as an integer function 89
5.10 Universal TM 91
5.11 Linear Bounded Automata 94
5.12 TM Languages 96
5.13 Unrestricted grammar 99
5.14 Properties of Recursive and Recursively enumerable 102
languages
5.15 Undecidability, Reducibility 116
5.16 Undeciadable problems about TMs 117
5.17 Post Correspondence Problem(PCP) 119
5.18 Modified PCP 120
Page 4
UNIT-1
Page 5
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 6
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 7
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 8
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 9
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 10
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 11
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 12
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 13
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 14
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 15
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 16
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 17
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 18
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 19
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 20
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 21
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 22
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 23
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 24
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 25
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 26
FORMAL LANGUAGES AND AUTOMATA THEORY PAGE 27
Unit-II