CPS 320 - Models of Computation

(4)

Introduces automata, including nondeterministic automata and Turing machines, formal languages, space and time complexity, NP-complete problems, data types, and virtual machines.
(Alternate years)

Prerequisite(s): CPS 122, MAT 228, and MAT 229