The class of Theory of Computation, including hw3, hw4 and final project