COS 435: Theory of Computation
A theoretical treatment of what can be computed and how efficiently computation can be done. Topics include models of computation and automata, deterministic and non - deterministic computations, and formal language theory. Prerequisite: COS 265.