CMPS 364 - Theory of Computation

3 cr.

(Prerequisite: CMPS 260)

The development of a theoretical notion of computability and its relationship to Turing computability and recursive functions; the study of the relationships between automata, formal languages and grammars.