Theory of Computation - HW3