Toggle navigation
Institute
IISc Bangalore
IIT Bombay
IIT Delhi
IIT Guwahati
IIT Kanpur
IIT Kharagpur
IIT Madras
IIT Roorkee
Discipline
Aerospace Engineering
Atmospheric Science
Basic courses
Biotechnology
Chemical Engineering
Chemistry and Biochemistry
Civil Engineering
Computer Science and Engineering
Electrical Engineering
Electronics & Communication Engineering
Engineering Design
General
Humanities and Social Sciences
Management
Mathematics
Mechanical Engineering
'Undecidability3' Video Lecture
Undecidability3
Course
:
Formal Languages and Automata Theory
Discipline
:
Mathematics
Faculty
: Dr. K.V. Krishna, Dr. Diganta Goswami
Institute
:
IIT Guwahati
Undecidability3
- Click on the Video Link shown below to play the video on Youtube. Browse through
Formal Languages and Automata Theory (Mathematics)
Video Lectures by
Dr. K.V. Krishna, Dr. Diganta Goswami
from
IIT Guwahati
through NPTEL.
NEXT LECTURE >>
Time Bounded Turing Machines
Download this video in MP4, FLV & 3GP formats
Format
Size
Download
MP4
473 MB
MP4 Video Download Link 1
MP4
473 MB
MP4 Video Download Link 2
FLV
118 MB
FLV Video Download Link 1
FLV
118 MB
FLV Video Download Link 2
3gp
58 MB
3gp Video Download Link 1
3gp
58 MB
3gp Video Download Link 2
Search Courses by Discipline & Institute
Search Courses
Discipline
All Disciplines
Aerospace Engineering
Atmospheric Science
Basic courses
Biotechnology
Chemical Engineering
Chemistry and Biochemistry
Civil Engineering
Computer Science and Engineering
Electrical Engineering
Electronics and Communication Engineering
Engineering Design
General
Humanities and Social Sciences
Management
Mathematics
Mechanical Engineering
Institute
All Institutes
IISc Bangalore
IIT Bombay
IIT Delhi
IIT Guwahati
IIT Kanpur
IIT Kharagpur
IIT Madras
IIT Roorkee
SASTRA University
Search
Course Video Lectures
Introduction
Alphabet, Strings, Languages
Finite Representation
Grammars (CFG)
Derivation Trees
Regular Grammars
Finite Automata
Nondeterministic Finite Automata
NFA <=> DFA
Myhill-Nerode Theorem
Minimization
RE => FA
FA => RE
FA <=> RG
Variants of FA
Closure Properties of RL
Homomorphism
Pumping Lemma
Simplification of CFG
Normal Forms of CFG
Properties of CFLs
Pushdown Automata
PDA <=> CFG
Turing Machines
Turing Computable Functions
Combining Turing Machines
Multi Input
Turing Decidable Languages
Varients of Turing Machines
Structured Grammars
Decidability
Undecidability1
Undecidability2
Undecidability3
Time Bounded Turing Machines
P and NP
NP-Completeness
NP-Complete Problems1
NP-Complete Problems2
NP-Complete Problems3
Chomsky Hierarchy
2015. EngineeringVideoLectures.com