April 10, 2025
Thursday of Week 13
Topics of the day
- Turing machines
- Type inference in Haskell
Suggested reading
- Section 8.2-8.2.3 from Hopcroft, Motwani, and Ullman, Introduction to automata theory, languages, and computation, 2e
Online references
- Manufactoria (game) (www.kongregate.com)
- Haskell doc ("Prelude") (downloads.haskell.org)
Assignments
Today
- Homework 10 out
Upcoming
- Homework 10 due (15 Apr)
- Homework 9 revision due (15 Apr)
- Homework 11 out (17 Apr)