prabhakaran9397/TOC-Videos.md

Last active November 12, 2016 13:02

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/prabhakaran9397/a0ceb5b18e97a9c6fb8622590ee9e5fb.js"></script>
Save prabhakaran9397/a0ceb5b18e97a9c6fb8622590ee9e5fb to your computer and use it in GitHub Desktop.

Download ZIP

Raw

TOC-Videos.md

Theory of Computation - Lecture Videos

3 - CLOSURE PROPERTIES AND TURING MACHINES

Various techniques for construction of TMs
Equivalence of one tape and multi-tape Turing machines

4 - UNDECIDABILITY

A language that is not Recursively Enumerable (RE)
An undecidable problem that is RE
Undecidable problems about Turing Machine
Turing Machine Encoding, Universal Language
Rice theorem for Recursive and Recursively enumerable languages
Post’s Correspondence Problem

5 - RECENT TRENDS & APPLICATIONS

Matrix grammar
Programmed grammar
Regular Control grammar
Random context grammar
Lindenmayer systems
DNA computing
Membrane computing

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment