Theory of computation is about understanding the limits of what computers can do.
Note: I am teaching two sections of 321 this term (an honors section and a non-honors section). The two sections have different structure, different homeworks, different requirements. This page is for the honors section!
- Automata and Computability, by Dexter Kozen
- Jeff Erickson lecture notes (scroll down to "Models of Computation Notes")
- Fleck/Har-Peled lecture notes
- Marcelo Fiore lecture notes
- Cristopher Moore lecture notes
- Intro to Automata Theory, Languages, and Computation, a classic textbook by Hopcroft & Ullman
- Tool for drawing state machines, by Evan Wallace
- RegExr tool for playing with "real world" regular expressions (by Grant Skinner)
- Chart of special characters (copy/paste math symbols into your assignments)