April 23, 2026
Thursday of Week 15
Topics of the day
- Recursively enumerable languages
- The halting problem
Suggested reading
- Section 9.1-9.2 from Hopcroft, Motwani, and Ullman, Introduction to automata theory, languages, and computation, 2e
Assignments
Upcoming
- Homework 11 revision due (28 Apr)
- Exam 2 TH out (30 Apr)
- Exam 2 (05 May)
