CS 517 Theory of Computation Spring 2012