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, syntax and semantics of programming languages. (Spring)
Prerequisite: CSIS 2420 General Education Course: No