Theory of Computation Video Lectures

Theory of Computation
'Theory of Computation' Video Lectures by Prof. Somenath Biswas from IIT Kanpur
"Theory of Computation" - Video Lectures
Lecture-01 What is theory of computation? Set membership problem, basic notions like alphabet, strings, formal languages.
Lecture-02-Introduction to finite automaton.
Lecture-03-Finite automata continued, deterministic finite automata(DFAs), language accepted by a DFA.
Lecture-04-Regular languages, their closure properties.
Lecture-05-DFAs solve set membership problems in linear time, pumping lemma.
Lecture-06-More examples of nonregular languages, proof of pumping lemma, pumping lemma as a game, converse of pumping lemma does not hold.
Lecture-07-A generalization of pumping lemma, nondeterministic finite automata (NFAs), computation trees for NFAs.
Lecture-08-Formal description of NFA, language accepted by NFA, such languages are also regular.
Lecture-09-'Guess and verify' paradigm for nondeterminism.
Lecture-10-NFA's with epsilon transitions.
Search Courses
Recently added NPTEL courses Welding Engineering40 Vibration of Structures40 Vibration control40 Tribology42 Theory & Practice of Rotor Dynamics42 Technology of Surface Coating40 Strength of Materials40 Spray Theory and Applications41 Solar Energy Technology43 Rocket Propulsion41 Robotics40 Refrigeration and Air Conditioning46 Project and Production Management41 Processing of non metals40 Principles of Mechanical Measurements26
2015. EngineeringVideoLectures.com