Una traducción de un algoritmo de un modelo de computación a otro en el cual el trabajo es el mismo en ambos modelos, dentro de un factor constante.