Learn · Formal Languages and Automata Theory
Lecture 12 of 41RL ? RG ? FA
RE => FA
Dr. K.V. Krishna and Dr. Diganta Goswami · IIT Guwahati
Credits and licence
- From
- Formal Languages and Automata Theory, IIT Guwahati (at NPTEL)
- Licence
- CC BY-NC-SA, as NPTEL states it. Non-commercial use only.
- Attribution
- NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
- Who can watch
- Tweens profiles and older. How courses are placed
All the 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