An introduction to the formal study of automata and of related formal languages with applications in computer science.

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-.

Program: 
Undergraduate Program
Division: 
Electives