CSCI 5320 Computational Theory

Introduces the foundations of computer science through the study of abstract machines.  In this course, computational models of increasing power are analyzed: finite automata; pushdown automata; and Turing Machines.