341H Automata Theory: Honors

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. Only one of the following may be counted: Computer Science 341, 341H, Linguistics 340. Prerequisite: Computer Science 429 (or 310) or 429H (or 310H) with a grade of at least C-, and consent of the honors director.