Una Codificación Fiel Concurrente Intensiva de Máquinas de Turing