Lesson Plan of at&CD Cse (Aiml) II-II
Lesson Plan of at&CD Cse (Aiml) II-II
Course Objectives
● To introduce the fundamental concepts of formal languages, grammars and
automata theory.
● To understand deterministic and non-deterministic machines and the
differences between decidability and undecidability.
● Introduce the major concepts of language translation and compiler
design and impart the knowledge of practical skills necessary for
constructing a compiler.
● Topics include phases of compiler, parsing, syntax directed translation,
type checking use of symbol tables, intermediate code generation
Course Outcomes
● Able to employ finite state machines for modeling and solving computing
problems.
● Able to design context free grammars for formal languages.
● Able to distinguish between decidability and undecidability.
● Demonstrate the knowledge of patterns, tokens & regular expressions for lexical
analysis.
● Acquire skills in using lex tool and design LR parsers
Program Reference
Unit Lesson No. of Topic/Sub Mode of Course
Date Outcome Text
No. No. Periods Topic Teaching Outcome
(PO) Books
Introduction to
1.1 10.01.25 1 PPT T1
Finite Automata
Structural
Representations,
1.2 11.01.25 2 PPT T1
Automata and
Complexity
The central
concepts of
1.3 17.01.25 1 PPT T1
Automata Theory
- Alphabets
Strings,
1.4 20.01.25 1 Languages, PPT T1
Problems
NFA : Formal
definition, an
1.5 21.01.25 1 PPT T1
application, Text
search CO1
I Finite Automata
1.6 22.01.25 1 with Epsilon- PPT T1
Transitions
DFA: Definition of
1.7 23.01.25 2 DFA, How a DFA PPT T1
process Strings
The language of
1.8 24.01.25 1 PPT T1
DFA
Conversion of NFA
with Epsilon-
1.9 27.01.25 1 Transition to NFA PPT T1
without Epsilon-
Transition
Conversion of NFA
1.10 28.01.25 2 PPT T1
to DFA
TEXT BOOKS:
1. Introduction to Automata Theory, Languages, and Computation, 3 nd Edition,
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Pearson Education.
2. Theory of Computer Science – Automata languages and computation,
REFERENCE BOOKS:
1. Compilers: Principles, Techniques and Tools, Alfred V. Aho, Monica S. Lam, Ravi
Sethi, Jeffry
D. Ullman, 2nd Edition, Pearson.
2. Introduction to Formal languages Automata Theory and Computation,
Kamala Krithivasan, Rama R, Pearson.
3. Introduction to Languages and The Theory of Computation, John C Martin, TMH.
4. lex & yacc – John R. Levine, Tony Mason, Doug Brown, O’reilly Compiler Construction,
Kenneth
C. Louden, Thomson. Course Technology.
SUBJECT : Automata Theory and Compiler Design
SECTION : B
FACULTY : Mrs. S. Naveena
Course Objectives
● To introduce the fundamental concepts of formal languages, grammars and
automata theory.
● To understand deterministic and non-deterministic machines and the
differences between decidability and undecidability.
● Introduce the major concepts of language translation and compiler
design and impart the knowledge of practical skills necessary for
constructing a compiler.
● Topics include phases of compiler, parsing, syntax directed translation,
type checking use of symbol tables, intermediate code generation
Course Outcomes
● Able to employ finite state machines for modeling and solving computing
problems.
● Able to design context free grammars for formal languages.
● Able to distinguish between decidability and undecidability.
● Demonstrate the knowledge of patterns, tokens & regular expressions for lexical
analysis.
● Acquire skills in using lex tool and design LR parsers
Program Reference
Unit Lesson No. of Topic/Sub Mode of Course
Date Outcome Text
No. No. Periods Topic Teaching Outcome
(PO) Books
Introduction to
1.1 10.01.25 1 PPT T1
Finite Automata
17.01.25 Structural
1.2 1 PPT T1
Representations
18.01.25 Automata and
1.3 1 PPT T1
Complexity
20.01.25 The central
concepts of
1.4 1 PPT T1
Automata Theory
- Alphabets
21.01.25 Strings,
1.5 1 Languages, PPT T1
Problems
22.01.25 NFA : Formal
definition, an
1.6 1 PPT T1
application, Text
search
24.01.25 Finite Automata CO1
I 1.7 1 with Epsilon- PPT T1
Transitions
25.01.25 DFA: Definition of
1.8 1 PPT T1
DFA
27.01.25 How a DFA
1.9 1 PPT T1
process Strings
28.01.25 The language of
1.10 1 PPT
DFA
T1
29.01.25
1.11 1 Conversion of NFA PPT
31.01.25 Epsilon-Transition
1.12 1 to NFA without PPT T1
Epsilon-Transition
01.02.25
Conversion of NFA
1.13 1 PPT T1
to DFA
04.02.25 Applications of
2.2 1 Regular PPT T1
expressions
05.02.25 Algebraic laws for
2.3 1 Regular PPT T1
expressions
07.02.25 Conversion of
Finite Automata
2.4 1 PPT T1
to Regular
expressions
10.02.25 Pumping Lemma
for Regular
2.5 1 Expressions: PPT T1
Statement of the
pumping lemma
11.02.25
2.6 1 Applications of PPT T1
pumping lemma
12.02.25 Context-Free
Grammars:
2.7 1 Definition of PPT T1
context free
grammar
14.02.25 Derivations using
2.8 1 PPT T1
a grammar
15.02.25 Left most and
Right most
2.9 1 Derivations, The PPT T1
language of a
grammar
17.02.25 Parse Trees,
Ambiguity in
2.10 1 PPT T1
grammars and
languages
REFERENCE BOOKS:
1. Compilers: Principles, Techniques and Tools, Alfred V. Aho, Monica S. Lam, Ravi
Sethi, Jeffry
D. Ullman, 2nd Edition, Pearson.
2. Introduction to Formal languages Automata Theory and Computation,
Kamala Krithivasan, Rama R, Pearson.
3. Introduction to Languages and The Theory of Computation, John C Martin, TMH.
4. lex & yacc – John R. Levine, Tony Mason, Doug Brown, O’reilly Compiler Construction,
Kenneth
C. Louden, Thomson. Course Technology.
SUBJECT : Automata Theory and Compiler Design
SECTION : C
FACULTY : Mrs. S. Naveena
Course Objectives
● To introduce the fundamental concepts of formal languages, grammars and
automata theory.
● To understand deterministic and non-deterministic machines and the
differences between decidability and undecidability.
● Introduce the major concepts of language translation and compiler
design and impart the knowledge of practical skills necessary for
constructing a compiler.
● Topics include phases of compiler, parsing, syntax directed translation,
type checking use of symbol tables, intermediate code generation
Course Outcomes
● Able to employ finite state machines for modeling and solving computing
problems.
● Able to design context free grammars for formal languages.
● Able to distinguish between decidability and undecidability.
● Demonstrate the knowledge of patterns, tokens & regular expressions for lexical
analysis.
● Acquire skills in using lex tool and design LR parsers
Program Reference
Unit Lesson No. of Topic/Sub Mode of Course
Date Outcome Text
No. No. Periods Topic Teaching Outcome
(PO) Books
Introduction to
1.1 10.01.25 1 PPT T1
Finite Automata
17.01.25 Structural
1.2 1 PPT T1
Representations
18.01.25 Automata and
1.3 1 PPT T1
Complexity
20.01.25 The central
concepts of
1.4 1 PPT T1
Automata Theory
- Alphabets
22.01.25 Strings,
1.5 1 Languages, PPT T1
Problems
23.01.25 NFA : Formal
definition, an
1.6 1 PPT T1
application, Text
search
24.01.25 Finite Automata CO1
I 1.7 1 with Epsilon- PPT T1
Transitions
25.01.25 DFA: Definition of
1.8 1 PPT T1
DFA
27.01.25 How a DFA
1.9 1 PPT T1
process Strings
29.01.25 The language of
1.10 1 PPT
DFA
T1
30.01.25
1.11 1 Conversion of NFA PPT
31.01.25 Epsilon-Transition
1.12 1 to NFA without PPT T1
Epsilon-Transition
01.02.25
Conversion of NFA
1.13 1 PPT T1
to DFA
05.02.25 Applications of
2.2 1 Regular PPT T1
expressions
06.02.25 Algebraic laws for
2.3 1 Regular PPT T1
expressions
07.02.25 Conversion of
Finite Automata
2.4 1 PPT T1
to Regular
expressions
10.02.25 Pumping Lemma
for Regular
2.5 1 Expressions: PPT T1
Statement of the
pumping lemma
12.02.25
2.6 1 Applications of PPT T1
pumping lemma
13.02.25 Context-Free
Grammars:
2.7 1 Definition of PPT T1
context free
grammar
14.02.25 Derivations using
2.8 1 PPT T1
a grammar
15.02.25 Left most and
Right most
2.9 1 Derivations, The PPT T1
language of a
grammar
17.02.25 Parse Trees,
Ambiguity in
2.10 1 PPT T1
grammars and
languages
REFERENCE BOOKS:
1. Compilers: Principles, Techniques and Tools, Alfred V. Aho, Monica S. Lam, Ravi
Sethi, Jeffry
D. Ullman, 2nd Edition, Pearson.
2. Introduction to Formal languages Automata Theory and Computation,
Kamala Krithivasan, Rama R, Pearson.
3. Introduction to Languages and The Theory of Computation, John C Martin, TMH.
4. lex & yacc – John R. Levine, Tony Mason, Doug Brown, O’reilly Compiler Construction,
Kenneth
C. Louden, Thomson. Course Technology.
SUBJECT : Automata Theory and Compiler Design
SECTION : D
FACULTY : Mrs. S. Naveena
Course Objectives
● To introduce the fundamental concepts of formal languages, grammars and
automata theory.
● To understand deterministic and non-deterministic machines and the
differences between decidability and undecidability.
● Introduce the major concepts of language translation and compiler
design and impart the knowledge of practical skills necessary for
constructing a compiler.
● Topics include phases of compiler, parsing, syntax directed translation,
type checking use of symbol tables, intermediate code generation
Course Outcomes
● Able to employ finite state machines for modeling and solving computing
problems.
● Able to design context free grammars for formal languages.
● Able to distinguish between decidability and undecidability.
● Demonstrate the knowledge of patterns, tokens & regular expressions for lexical
analysis.
● Acquire skills in using lex tool and design LR parsers
Program Reference
Unit Lesson No. of Topic/Sub Mode of Course
Date Outcome Text
No. No. Periods Topic Teaching Outcome
(PO) Books
Introduction to
1.1 10.01.25 1 PPT T1
Finite Automata
17.01.25 Structural
1.2 1 PPT T1
Representations
18.01.25 Automata and
1.3 1 PPT T1
Complexity
20.01.25 The central
concepts of
1.4 1 PPT T1
Automata Theory
- Alphabets
21.01.25 Strings,
1.5 1 Languages, PPT T1
Problems
22.01.25 NFA : Formal
definition, an
1.6 1 PPT T1
application, Text
search
24.01.25 Finite Automata CO1
I 1.7 1 with Epsilon- PPT T1
Transitions
25.01.25 DFA: Definition of
1.8 1 PPT T1
DFA
27.01.25 How a DFA
1.9 1 PPT T1
process Strings
28.01.25 The language of
1.10 1 PPT
DFA
T1
29.01.25
1.11 1 Conversion of NFA PPT
31.01.25 Epsilon-Transition
1.12 1 to NFA without PPT T1
Epsilon-Transition
01.02.25
Conversion of NFA
1.13 1 PPT T1
to DFA
04.02.25 Applications of
2.2 1 Regular PPT T1
expressions
05.02.25 Algebraic laws for
2.3 1 Regular PPT T1
expressions
07.02.25 Conversion of
Finite Automata
2.4 1 PPT T1
to Regular
expressions
10.02.25 Pumping Lemma
for Regular
2.5 1 Expressions: PPT T1
Statement of the
pumping lemma
11.02.25
2.6 1 Applications of PPT T1
pumping lemma
12.02.25 Context-Free
Grammars:
2.7 1 Definition of PPT T1
context free
grammar
14.02.25 Derivations using
2.8 1 PPT T1
a grammar
15.02.25 Left most and
Right most
2.9 1 Derivations, The PPT T1
language of a
grammar
17.02.25 Parse Trees,
Ambiguity in
2.10 1 PPT T1
grammars and
languages
REFERENCE BOOKS:
1. Compilers: Principles, Techniques and Tools, Alfred V. Aho, Monica S. Lam, Ravi
Sethi, Jeffry
D. Ullman, 2nd Edition, Pearson.
2. Introduction to Formal languages Automata Theory and Computation,
Kamala Krithivasan, Rama R, Pearson.
3. Introduction to Languages and The Theory of Computation, John C Martin, TMH.
4. lex & yacc – John R. Levine, Tony Mason, Doug Brown, O’reilly Compiler Construction,
Kenneth
C. Louden, Thomson. Course Technology.