'Lecture-01 What is theory of computation? Set membership problem, basic notions like alphabet, strings, formal languages.' Video Lecture

Lecture-01 What is theory of computation? Set membership problem, basic notions like alphabet, strings, formal languages.

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

    • Lecture-01 What is theory of computation? Set membership problem, basic notions like alphabet, strings, formal languages. - 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-02-Introduction to finite automaton.
    Download this video in MP4, FLV & 3GP formats
    Format  Size  Download
    MP4 440 MB MP4 Video Download Link 1
    MP4 440 MB MP4 Video Download Link 2
    FLV 113 MB FLV Video Download Link 1
    FLV 113 MB FLV Video Download Link 2
    3gp 63 MB 3gp Video Download Link 1
    3gp 63 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