An introduction to the theory of computation and its relationship to the design and implementation of compilers. Topics include finite-state and pushdown automata, formal languages and grammars, Turing machines, and syntax and semantics of programming languages. (Spring) [Graded (Standard Letter)]
Prerequisite(s):CS 2300 or MATH 3120- Prerequisite Min. Grade: C-
