Final Project for Theory of Computation. ITESM 2013