CS 310 : Automata Theory 2019

Instructors : Ashutosh Gupta and S. Akshay

Timings : 9:30 Monday, 10:35 Tuesday, 11:35 Thursday
Venue : CC103
TAs : Adarsh Rahul Jaju (173050003@), Kalyani Dole (163050022@), Kunal Mittal (kunal@cse), Mukesh Pareek (pareek@cse), Prachi Singh (183050075@), Swapnam Bajpai (swapnam@cse), Vaibhav Krishan (vkrishan@cse), Meet Taraviya (meet11061997 _at_ gmail.com)
For email addresses Append ".iitb.ac.in" in the text inside the parenthesis
Optional tutorials : 7PM,Tuesday@CC103

Source material

Evaluation structure

Random attendance status

May change later.

Tutorial sheets

Lectures

Introduction

2019-01-03 : Lecture 1 - Introduction to automata theory

Finite automata

2019-01-07 : Lecture 2 - Deterministic finite automaton

2019-01-08 : Lecture 3 - Nondeterministic finite automaton(NFA)

2019-01-10 : Lecture 4 - Subset construction

2019-01-14 : Lecture 5 - Epsilon NFA

Regular expressions

2019-01-15 : Lecture 6 - Regular expressions

2019-01-17 : Lecture 7 - Regular expressions == DFA

Regular languages

2019-01-21 : Lecture 8 - Properties of regular languages

2019-01-22 : Lecture 9 - Properties of regular languages II

2019-01-24 : Lecture 10 - Pumping lemma

2019-01-25T08:30 (Friday) : Quiz 1 @CC101,103,105

2019-01-28 : Lecture 11 - Pumping lemma applications

2019-01-29 : Lecture 12 - Regular languages equivalence

2019-01-31 : Lecture 13 - DFA minimization and Myhill-Norde theorem

Context-free grammars and languages

2019-02-04 : Lecture 14 - Context-free grammars

2019-02-05 : Lecture 15 - Parse trees and ambiguity in grammars

Pushdown automata

2019-02-07 : Lecture 16 - Pushdown automaton(PDA)

2019-02-11 : Lecture 17 - PDA and CFG

2019-02-12 : Lecture 18 - PDA to CFG and deterministic PDA(DPDA)

2019-02-13T08:30(Wednesday) : Quiz 2 @SIC201,SIC205,SIC301,SIC305

CFL properties

2019-02-14 : Lecture 19 - Chomsky normal form(CNF)

2019-02-18 : Lecture 20 - Pumping lemma for CFLs

2019-02-19 : Lecture 21 - Applications of CFGs

2019-02-22 : Lecture 22 - Extra tutorial

2018-02-23T11:00-13:00@LA002 : Midterm

Lectures 23+

Lectures after midterm


Last modified: ()