CSC 374 Theory of Computation
An introduction to the study of abstract models of computation and languages and to the use of formal methods in computer science. Topics include finite state automata and regular expressions, context free grammars and pushdown automata, Turing machines, Church's thesis, decision problems, and undecidable problems.
Prerequisite
CSC 270 with a grade of C- or higher, and
MAT 200 or
MAT 300 with a grade of C- or higher, or permission of the instructor.