AUTOMATA AND FORMAL LANGUAGES, SUMMER 2004 - Syllabus