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- Prerequisite Min. Grade: C Registration Restriction(s): None
