COT6421 - Theory of Computation II, Fall 2010