CS 467/667 - Theory of Computation