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. Not offered.)

Prerequisite(s): CPS 122 and MAT 230.