An introduction to the formal study of automata and of related formal languages with applications in computer science. Three lecture hours a week for one semester. Computer Science 341 and 341H may not both be counted. Prerequisite: Computer Science 429 or 429H with a grade of at least C-, and consent of the honors director.