'Lecture-06-More examples of nonregular languages, proof of pumping lemma, pumping lemma as a game, converse of pumping lemma does not hold.' Video Lecture

Lecture-06-More examples of nonregular languages, proof of pumping lemma, pumping lemma as a game, converse of pumping lemma does not hold.

  • Course: Theory of Computation
  • Discipline: Computer Science and Engineering
  • Faculty: Prof. Somenath Biswas
  • Institute: IIT Kanpur

    • Lecture-06-More examples of nonregular languages, proof of pumping lemma, pumping lemma as a game, converse of pumping lemma does not hold. - Click on the Video Link shown below to play the video on Youtube. Browse through Theory of Computation (Computer Science and Engineering) Video Lectures by Prof. Somenath Biswas from IIT Kanpur through NPTEL.

    NEXT LECTURE >> Lecture-07-A generalization of pumping lemma, nondeterministic finite automata (NFAs), computation trees for NFAs.
    Download this video in MP4, FLV & 3GP formats
    Format  Size  Download
    MP4 487 MB MP4 Video Download Link 1
    MP4 487 MB MP4 Video Download Link 2
    FLV 127 MB FLV Video Download Link 1
    FLV 127 MB FLV Video Download Link 2
    3gp 69 MB 3gp Video Download Link 1
    3gp 69 MB 3gp Video Download Link 2
    Search Courses
    Course Video Lectures Lecture-01 What is theory of computation? Set.. Lecture-02-Introduction to finite automaton. Lecture-03-Finite automata continued, determi.. Lecture-04-Regular languages, their closure p.. Lecture-05-DFAs solve set membership problems.. Lecture-06-More examples of nonregular langua.. Lecture-07-A generalization of pumping lemma,.. Lecture-08-Formal description of NFA, languag.. Lecture-09-'Guess and verify' paradigm for no.. Lecture-10-NFA's with epsilon transitions. Lecture-11-Regular expressions, they denote r.. Lecture-12-Construction of a regular expressi.. Lecture-13-Closure properties continued. Lecture-14-Closure under reversal, use of clo.. Lecture-15-Decision problems for regular lang.. Lecture-16-About minimization of states of DF.. Lecture-17-Continuation of proof of Myhill-Ne.. Lecture-18-Application of Myhill-Nerode theor.. Lecture-19-DFA minimization continued. Lecture-20-Introduction to context free langu.. Lecture-21-Languages generated by a cfg, left.. Lecture-22-Parse trees, inductive proof that .. Lecture-23-Towards Chomsky normal forms: elim.. Lecture-24-Simplification of cfgs continued, .. Lecture-25-Elimination of unit productions. C.. Lecture-26-Pumping lemma for cfls. Adversaria.. Lecture-27-Completion of pumping lemma proof... Lecture-28-Closure properties continued. cfls.. Lecture-29-Another example of a cfl whose com.. Lecture-30-More decision problems. CYK algori.. Lecture-31-Introduction to pushdown automata .. Lecture-32-pda configurations, acceptance not.. Lecture-33-Equivalence of acceptance by empty.. Lecture-34-Turing machines (TM): motivation, .. Lecture-35-Execution trace, another example (.. Lecture-36-Example continued. Finiteness of T.. Lecture-37-Notion of non-acceptance or reject.. Lecture-38-Simulation of multitape TMs by bas.. Lecture-39-Counter machines and their equival.. Lecture-40-TMs can simulate computers, diagon.. Lecture-41-Existence of non-r.e. languages, r.. Lecture-42-Separation of recursive and r.e. c..
    2015. EngineeringVideoLectures.com