CPS 320 - Models of Computation

Credits: 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. Offered 2018-19.)

Prerequisite(s): CPS 122 and MAT 230.