Sicard Ramírez, A. Maquinas De Turing. Rev. EAFIT. DyC 2012, 32, 29-45.