Gödel's NOTICE BOARD
Theory of Computation Lectures Notes
IIT Jodhpur 2015 III yr I semester (Later Improved & Updated)       
Kurt Godel
Kurt Gödel

-:NOTICE:-
The list of semester projects has been attached. The students in groups of two shall choose one project. See detailed guide lines.
1. Theory of computation course content (cs222)  pdf
2. Introduction to FA, formal languages and computation
pdf
3. Regular languages, regular expressions pdf
4. Deterministic Finite Automata pdf
5. Finite automata to regular expressions pdf (new)
6. Nondeterministic Finite Automata pdf
7. Minimization of Finite Automata pdf
8. Regular languages their properties pdf
9. Testing regularity and minimization of FA pdf
10. Context-free grammars and languages  pdf
11. Simplification and normalization of CFGs pdf  
12. Pumping Lemma for Context-free languages pdf
13. Pushdown automata pdf 
14. II Mid-semester syllabus  html
 

15. Turing Machine  basics pdf
16. Turing Machine extensions and language enumeration  pdf (updated)
17. Turing machine as function computer pdf 
18. Universal Turing machine pdf 
19. Decidability, Church-Turing Thesis pdf 
20. Undecidability, Halting Problem pdf
21. Reducibility pdf  
22. Syllabus for End semester examination html  
23. Complexity, based on TMs, P and NP pdf   (updated)
24. Satisfiability problem  pdf 
   
  

    
 

           
  
    
Quizzes, Assignments,
 exams, projects:


1. Quiz # 1 pdf
2. Assignment #1 pdf
3. Rules for HW submission and awards: HTML
4. Mid sem1 pdf
5. Quiz # 2 pdf
6. Assignment # 2 pdf 

7. Semester Projects html
8. Guidelines for semester projects html
9. Semester Projects allotted html 
  
 

Important Journals:

Discrete mathematics and theoretical computer science
Discrete Mathematics Journal -Elsevier
Open Journal of Discrete Mathematics
SIAM - Journal on Discrete Mathematics
Journal of Discrete mathematics
Journals (etc.) in Discrete Mathematics and Related Fields