Theory of Computation term project