AUTOMATA AND FORMAL LANGUAGES, Fall 2002 - Syllabus