Course10610519662 lectures
Introduction to Automata, Languages and Computation
Prof. Sourav Mukhopadhyay · IIT Kharagpur
Lectures
WEEK 1
- Lecture 1 : Deterministic Finite Automata (DFA)
- Lecture 2 : Input alphabet
- Lecture 3 : Extended transition function
- Lecture 4 : Language of DFA
- Lecture 5 : Building DFA
WEEK 2
- Lecture 06:Building DFA (contd.)
- Lecture 07: NFA (Nondeterministic Finite Automata)
- Lecture 08: Language of a NFA
- Lecture 09: Equivalence of DFA's and NFA's
- Lecture 10: Subset Construction
WEEK 3
- Lecture 11 : ϵ-NFA
- Lecture 12 : Extended transition function of ðœ–-NFA
- Lecture 13 : Language of ðœ–-NFA
- Lecture 14 : ðœ–-NFA to NFA
- Lecture 15 : ðœ–-NFA to DFA
WEEK 4
- Lecture 16 : Regular expression
- Lecture 17 : Regular expression (Contd.)
- Lecture 18 : More on regular expression
- Lecture 19 : Equivalence of ðœ–-NFA and regular expression
- Lecture 20 : Equivalence of ðœ–-NFA and regular expression (Contd.)
WEEK 5
- Lecture 21: DFA to Regular expression
- Lecture 22: DFA to Regular expression (Contd.)
- Lecture 23: Construction of regular expression from a DFA (example)
- Lecture 24: Closure properties of Regular Set
- Lecture 25: Closure properties of Regular Set (Contd.)
WEEK 6
- Lecture 26 : Substitution
- Lecture 27 : Pumping Lemma
- Lecture 28 : Application of the pumping lemma
- Lecture 29 : More on Pumping lemma
- Lecture 30 : Arden's Theorem
WEEK 7
- Lecture 31: Minimization of FA
- Lecture 32: Minimization of FA (Cont.)
- Lecture 33: Two way FA
- Lecture 34: Finite automata with output
- Lecture 35: Equivalence of Moore and Mealy machine
WEEK 8
- Lecture 36: Context free grammars (CFG)
- Lecture 37: Context free language (CFL)
- Lecture 38: More example on CFL
- Lecture 39: More on CFG
- Lecture 40: Derivation Tree/Parse Tree
WEEK 9
- Lecture 41 : Leftmost and Rightmost derivations
- Lecture 42 : Ambiguity in CFG
- Lecture 43 : Simplification of CFG
- Lecture 44 : Algorithms to construct reduced grammar
- Lecture 45 : Elimination of Null and Unit productions
WEEK 10
- Lecture 46 : Chomsky Normal Form (CNF)
- Lecture 47 : Greibach Normal Form (GNF)
- Lecture 48 : Pushdown Automata (PDA)
- Lecture 49 : Language accepted by PDA
- Lecture 50 : Example of a language accepted by PDA
WEEK 11
- Lecture 51 : Deterministic PDA
- Lecture 52 : Equivalence of language accepted
- Lecture 53 : Equivalence PDA
- Lecture 54 : Equivalence PDA and CFL
- Lecture 55 : Equivalence PDA and CFL (Contd.)
WEEK 12
- Lecture 56: Relationship between regular language and CFL
- Lecture 57: Pumping lemma for CFLs
- Lecture 58: Closer properties of CFLs
- Lecture 59: Turning Machine
- Lecture 60: Language accepted by a Turning machine
Live Session
Syllabus and materials
At NPTEL, as the course publishes them.
Credits and licence
- Institution
- IIT Kharagpur
- Department
- Computer Science and Engineering
- Teacher
- Prof. Sourav Mukhopadhyay
- Level
- Undergraduate
- Language
- English
- Subjects
- Computer science, Engineering
- Source
- NPTEL
- Licence
- CC BY-NC-SA, as NPTEL states it. Non-commercial use only. NPTEL's terms
- Attribution
- NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
- Who can watch
- NPTEL gives no rating. Invisible Network shows it to Tweens profiles and older, judged from what the source says about it. How courses are placed
More like this
NPTEL101105083
Course
Space Flight Mechanics
99 lectures · Source's player
NPTEL101105084
Course
Aircraft Structures - I
42 lectures · Source's player
NPTEL101105085
Course
Introduction to CFD
65 lectures · Source's player
NPTEL101105089
Course
Aerodynamic Design of Axial Flow Compressors & Fans
69 lectures · Source's player
NPTEL101105090
Course
Smart Structures
62 lectures · Source's player
NPTEL101105660
Course
Industrial Aerodynamics
60 lectures · Source's player
NPTEL101105662
Course
Mechanics of Composite Materials and Structures
64 lectures · Source's player
NPTEL101105024
Course
High Speed Aero Dynamics
40 lectures · Video
NPTEL101105030
Course
Space Flight Mechanics
45 lectures · Video
NPTEL101105059
Course
Introduction to Aerodynamics
46 lectures · Video
NPTEL101105077
Course
Satellite Attitude Dynamics and Control
76 lectures · Video
NPTEL101105081
Course
Vibration And Structural Dynamics
42 lectures · Video