'Lecture-38-Simulation of multitape TMs by basic model. Nondeterministic TM (NDTM). Equivalence of NDTMs with deterministic TMs.' Video Lecture

Lecture-38-Simulation of multitape TMs by basic model. Nondeterministic TM (NDTM). Equivalence of NDTMs with deterministic TMs.

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

    • Lecture-38-Simulation of multitape TMs by basic model. Nondeterministic TM (NDTM). Equivalence of NDTMs with deterministic TMs. - 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-39-Counter machines and their equivalence to basic TM model.
    Download this video in MP4, FLV & 3GP formats
    Format  Size  Download
    MP4 500 MB MP4 Video Download Link 1
    MP4 500 MB MP4 Video Download Link 2
    FLV 129 MB FLV Video Download Link 1
    FLV 129 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