- Here is are some course links from other
the Hopcroft, Motwani and Ullman
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
- More CS Poetry
Visual and interactive tools for learning CS theory