Final Project for Theory of Computation