This course builds on the introduction to the theory of computing provided in the course Foundations of Computer Science. It discusses finite automata, formal languages, Turing Machines, and computability theory at an advanced level.
Prerequisite Courses:CS 07510 with a minimum grade of D- Course Attributes: GCAT, GRAD
