CS 357 Theory of Computation

Introduction to finite automata, Turing machines, formal languages, and computability. First offering in fall 2015, replaces CS 451.