Welcome

Welcome to "Theory of Computation". In this course, we are going to try and answer fundamental questions about the nature of computation such as:

Use this to add lectures to your Google calendar. The Google meet link for lectures is here.

Please use your iitgn email id to login to the lectures. If you don't have an iitgn email id yet and plan to attend the lectures, write to me.

News

17.11

Assignment 3 is uploaded

02.10

Assignment 2 is uploaded.

24.09

Monday's lecture slot and Tuesday's tutorial slot are swapped next week.

10.09

There will not be any meetings next week. Please watch the lecture videos on your own time. We will hold discussions for these lectures on 21.09.

27.08

The first quiz is on Thursday, Sep 3, 2PM IST.

26.08

Solutions to Homework 2 and 3 are uploaded. Follow the same link used to obtain homework sheet.

23.08

First assignment is uploaded.

20.08

Homework 3 is uploaded.

19.08

The tutorial on 25.08 and the lecture on 26.08 are swapped.

People

The instructor for the course is Balagopal Komarath <bkomarath@iitgn.ac.in>. The teaching assistant for the course is Akash Pareek <pareek_akash@iitgn.ac.in>.

Slots

The lectures for this course will take place on Google meet during K slots. The tutorial will take place during the L1 slot.

Reading

You may use any textbook in the syllabus. These materials differ only in presentation. I will follow the presentation in my notes. These will be regularly updated.

You can find my handwritten notes that support my lectures here.

Lectures

  1. (Aug 5) Overview (slides) (video)
  2. (Aug 6) Alphabets, Strings, and Languages (part 1 part 2) (discussion)
  3. (Aug 10) Finite Automata (part 1 part 2)
  4. (Aug 13) Regular Expressions (video discussion)
  5. (Aug 17) NFA: Introduction (part 1 part 2)
  6. (Aug 19) RE to NFA (part 1 part 2)
  7. (Aug 20) NFA to RE (part 1 part 2)
  8. (Aug 24) NFA to DFA (video)
  9. (Aug 25) Pumping Lemma (video)
  10. (Aug 27) Myhill-Nerode Theorem (video)
  11. (Sep 7) Turing Machines: Introduction (video)
  12. (Sep 9) Turing Machines: Arithmetic (video)
  13. (Sep 10) Turing Machines: Combinators (video)
  14. (Sep 14) Turing Machines: Definition (video)
  15. (Sep 16) Turing Machines: Variants (video)
  16. (Sep 17) Turing Machines: One-way Infinite Tape (video)
  17. (Sep 21) QA: Turing machines.
  18. (Sep 23) Undecidability (video discussion)
  19. (Sep 24) Universal TMs (video)
  20. (Sep 29) The Halting Problem (video)
  21. (Sep 30) Reductions (video)
  22. (Oct 1) Properties of Reductions (video) (discussion)
  23. (Oct 5) Examples of Reductions (video)
  24. (Oct 8) The Computation History Method (video)
  25. (Oct 19) Time Complexity (video discussion)
  26. (Oct 21) The class P (video discussion)
  27. (Oct 22) Poly-time reductions (1 2) (discussion)
  28. (Oct 26) Verifiability (video)
  29. (Oct 28) NP (video) (discussion)
  30. (Nov 2) Reductions for NP (video) (discussion)
  31. (Nov 4) Cook's Reduction (video)
  32. (Nov 5) Hardness and Completeness (video)
  33. (Nov 9) HW6 (discussion)
  34. (Nov 11) Space Complexity (video)
  35. (Nov 12) LOG vs P (video) (discussion)
  36. (Nov 16) Grammars and CFLs (video)
  37. (Nov 18) Parse Trees and Ambiguity (video) (discussion)
  38. (Nov 19) CNF and Membership (video)
  39. (Nov 23) Push-down Automata (video)
  40. (Nov 25) Pumping Lemma for CFLs (video)
  41. (Nov 26) Conclusion (video)

Corrections

(Oct 26, Lecture) The verifier TM M for HP verifies the validity of configuration sequence in terms of N, not M as mentioned in the lecture.

(Oct 22, Lecture) The time upper bounds mentioned in the lecture should be n^{a+ab}.

(Sep 24, Lecture) When describing the algorithm, I mentioned search the second track for new state. It should be the third track, the one that contains the transition function.

(Aug 27, Lecture) The relation for L is called the Myhill-Nerode relation for L. Also, given a DFA for a language, the construction given in the proof of the only-if part need not give the Myhill-Nerode relation for L. In case the DFA is not optimal, it yields a more fine-grained relation. However, since even this fine-grained relation only has a finite number of equivalence classes, so does the Myhill-Nerode relation.

Classroom Quizzes

  1. Computation (form)
  2. Strings (form)
  3. Finite Automata (form)
  4. Regular Expressions (form)
  5. NFA: Introduction (form)
  6. NFA and NFA to RE (form)
  7. NFA & RE (form)
  8. NFA to DFA (form)
  9. Pumping Lemma (form)
  10. Myhill-Nerode Theorem (form)
  11. Programming TMs (form)
  12. TMs and Computation (form)
  13. Undecidability (form)
  14. Universal TMs (form)
  15. Halting Problem (form)
  16. Reductions (form)
  17. Reductions' (form)
  18. ERR to HP (form)
  19. Complexity (form)
  20. The class P (form)
  21. Poly-time Reductions (form)
  22. Verifiability (form)
  23. NP (form)
  24. Many-one Reductions (form)
  25. Cook's Reduction (form) (discussion)
  26. Hardness and Completeness (form) (discussion)
  27. Space Complexity (form) (discussion)
  28. LOG vs P (form)
  29. Grammars and CFLs (form)
  30. Ambiguity (form)
  31. PDA (form) (discussion)
  32. Pumping lemma for CFLs (form) (discussion)

Quizzes

  1. (Sep 3) First Quiz. Submit via email or by uploading to this form.
  2. (Oct 14) Second Quiz. Submit your solutions via email. (discussion solutions)
  3. (Dec 04) Final

Assignments

  1. (Aug 30) First Assignment
  2. (Oct 1) Second Assignment
  3. (Nov 17) Third Assignment (Solutions 1 2 3 4 )

Homework

  1. (Aug 11) Homework 1 Solutions
  2. (Aug 18) Homework 2
  3. (Aug 26) Homework 3
  4. (Sep 21) Homework 4
  5. (Sep 28) Homework 5
  6. (Nov 1) Homework 6
  7. (Nov 5) Homework 7
  8. (Nov 17) Homework 8

Tutorials

  1. (Aug 11) discussion
  2. (Aug 18) demo discussion
  3. (Aug 26) discussion
  4. (Sep 8) discussion
  5. (Sep 22) Questions about Homework - 4.
  6. (Sep 28) HW4 (discussion) (solutions)
  7. (Oct 6) HW5 (discussion)
  8. (Nov 17) HW7 (discusssion)
  9. (Nov 24) HW8 (discussion)

Software

You may use simulators available here or elsewhere to aid you in learning the subject. Please note that simulators are strictly optional.

Evaluation

Your grades will be determined using assignments and quizzes.

I will also give homework that will not be evaluated. The questions given as homework will be hard and are designed to deepen the understanding of the subject. You are encouraged to collaborate with others while solving homework problems after spending some time thinking about them on your own.

The assignment questions will be of moderate difficulty and you will be given 7 days or more to solve each assignment. No collaboration is allowed. When submitting solutions, you must write how you arrived at the solution and list any failed approaches.

There will be 3 time-bound quizzes. The problems will be easy provided that you have spent sufficient time on your homework and assignments.