Thorsten Altenkirch
All references below refer by default to the course text, Introduction to Automata Theory, Languages, and Computation, (2nd edition) by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman (Addison Wesley).
The HTML version of this text contains some hyperlinks to webpages which contain additional information.