Además, se cree que es posible cambiar la representación, tanto de una función computable como de cualquier modelo de computación, que pueda ser simulado (paso por paso) por una máquina de Turing, utilizando simplemente para ello una transformación polinomial.