(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
 +
 
[http://www.youtube.com/playlist?list=PL601FC994BDD963E4 Video Lectures by Shai Simonson]
 
[http://www.youtube.com/playlist?list=PL601FC994BDD963E4 Video Lectures by Shai Simonson]
  
 
[http://www.ecst.csuchico.edu/~amk/foo/csci356/notes/ch11/NP2.html NP Complete]
 
[http://www.ecst.csuchico.edu/~amk/foo/csci356/notes/ch11/NP2.html NP Complete]
 +
 +
[http://www.idt.mdh.se/kurser/cd5560/10_01/examination/KOMPENDIER/Regular/kompendium_eng.pdf Regular expressions, questions and solutions]
  
 
[http://csfundas.wordpress.com/theory-of-computation-2/recursively-enumerable Recursively Enumerable Sets]
 
[http://csfundas.wordpress.com/theory-of-computation-2/recursively-enumerable Recursively Enumerable Sets]
Line 18: Line 21:
  
 
[http://www.cs.cornell.edu/Courses/cs4820/2013sp/Handouts/481TM.pdf Turing Machine Handout]
 
[http://www.cs.cornell.edu/Courses/cs4820/2013sp/Handouts/481TM.pdf Turing Machine Handout]
 +
 +
[http://www.cs.toronto.edu/~sacook/csc463h/notes/comp.pdf Reduction examples for decidablility]
  
 
[http://theory.stanford.edu/~trevisan/cs154-12/rice.pdf Rice's theorem, Undecidable and unrecognizable problems on TM]
 
[http://theory.stanford.edu/~trevisan/cs154-12/rice.pdf Rice's theorem, Undecidable and unrecognizable problems on TM]
Line 39: Line 44:
  
  
[[Category:Automata Theory]]
+
[[Category:Theory of Computation]]
 
[[Category: Notes & Ebooks for GATE Preparation]]
 
[[Category: Notes & Ebooks for GATE Preparation]]

Latest revision as of 00:30, 7 May 2015

Video Lectures by Shai Simonson

NP Complete

Regular expressions, questions and solutions

Recursively Enumerable Sets

Recursively Enumerable Sets

Notes from CMU

Definitions

Push Down Automata

Linear Bounded Automata

Turing Machine Problems

Turing Machine Handout

Reduction examples for decidablility

Rice's theorem, Undecidable and unrecognizable problems on TM

Undecidable problems about L(CFG)

Trivial and Non-trivial properties of L(M)

Undecidable Problems

Closure property of CFL

NP Complete

A good lecture going deep into Abstract Machines

P, NP, NPC and NP-Hard in SImple terms

Identify the class of the language