All chapters are taken from Theory of Computation by Michael Sipser. The corresponding lecture slides will be released on Ed prior to the lecture.