CPSC 5370 - Theory of Computation

Three hours lecture. Three credit hours.

A study of the main areas of theoretical computer science and their hierarchical interconnections. Basic results relating to formal models of computation, with emphasis on grammars and languages, finite automata, Turing machines, and computational complexity. Students with credit for 4370 may not take 5370.

Prerequisites: CPSC 3383, MATH 2310.