Cs3102: Theory of Computation Class 21: Undecidability in Theory and Practice Spring 2010 University of Virginia David Evans Exam 2: Out at end of class.