CO 303, Odd Sem 2024-25, DTU
A2 Batch, 3rd Year
Mon 1-3 PM AB4 203, Tue 2-4 PM in AB4 416
Instructor: Garima Chhikara
Email: garimachhikara@dtu.ac.in
Links:
| Class No. | Date | Topic | Class Notes |
| 1 | 8 Aug 2024 | Introduction, DFA | Aug 8 |
| 2 | 12 Aug 2024 | DFA Examples | Aug 12 |
| 3 | 22 Aug 2024 | DFA Examples | Aug 22 |
| 4 | 27 Aug 2024 | DFA Examples, NFA | Aug 27 |
| 5 | 2 Sep 2024 | Conversion NFA to DFA, Minimization DFA, Epsilon NFA | Sep 2 |
| 6 | 3 Sep 2024 | Conversion Epsilon NFA to NFA, Mealy, Moore | Sep 3 |
| 7 | 9 Sep 2024 | Regular Expression, Regular Language | Sep 9 |
| 8 | 10 Sep 2024 | Regular Language Properties | Sep 10 |
| 9 | 17 Sep 2024 | Regular Grammar, CFG, Ambiguity in CFG | Sep 17 |
| 10 | 21 Sep 2024 | Simplification of CFG | Sep 21 |
| 11 | 1 Oct 2024 | CFG Normal Form: CNF, GNF and PDA | Oct 1 |
| 12 | 7 Oct 2024 | Push Down Automata (PDA) Examples | Oct 7 |
| 13 | 8 Oct 2024 | Equivalence of PDA and CFG | Oct 8 |
| 14 | 21 Oct 2024 | Two Stack PDA, Properties of CFL, Turing Machine | Oct 21 |
| 15 | 22 Oct 2024 | Turing Machine (TM) | Oct 22 |
| 16 | 28 Oct 2024 | Turing Thesis, Variants of TM, Universal TM | Oct 28 |
| 17 | 29 Oct 2024 | Recursive, Recursively Enumerable Language, PCP | Oct 29 |
| Section | Topic | Mapping with Videos of Previous Offering |
| Sec 1 | All | Lec 1 to 9 |
| Sec 1 | Myhill-Nerode Theorem | Link |
| Sec 2 | Regular Expression | Lec 10, 11, 12 |
| Sec 2 | Operators on Regular Expression | Link |
| Sec 2 | Algebraic Laws for Regular Expression | Link |
| Sec 2 | Kleen Theorem | Link |
| Sec 2 | Arden Theorem | Link Link Link |
| Sec 2 | Pumping Lemma for RL | Video Video Video |
| Sec 2 | Closure and Decision Properties of RL | Lec 26 |
| Sec 2 | Moore and Mealy Machine | Lec 15, 16 |
| Sec 3 | Grammar | Lec 13, 14 |
| Sec 3 | Ambiguity in CFG | Lec 23, 24 |
| Sec 3 | Simplification of CFG | Lec 21 |
| Sec 3 | CFG Normal Form: CNF, GNF | Lec 22, 23 |
| Sec 5 | PDA | Lec 16 to 20 |
| Sec 5 | Equivalence of PDA and CFG | Lec 24, 25 |
| Sec 5 | Two Stack PDA | Video Video |
| Sec 4 | Closure and Decision Properties of CFL | Lec 27 |
| Sec 4 | Pumping Lemma for CFL | Video Video Video |
| Sec 6 | All | Lec 27 to 35 |
| Sec 6 | Church's Thesis | Link |