CS401 Theory of Computation

This course introduces the theory of computation through a set of abstract machines- finite automata, pushdown automata, and Turing machines- and examines the relationship between these automata and formal languages. (Prerequisite: MATH216 and junior standing).