• Here is are some course links from other schools:
  • MIT's 6.045
  • Dartmouth's CS49
  • Columbia's CS3261
• The homepage of the Hopcroft, Motwani and Ullman textbook.
  There are solutions to many exercises and lots of other goodies.
• Errata for the Sipser text.
• The Java Computability Toolkit is a very nice Finite Automaton and Turing Machine simulator and it's free as well.
• Pumping Lemma Poetry
• More CS Poetry
• Visual and interactive tools for learning CS theory