CSCI 4320 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 I.