Theory of Computation mini project - 2014.