Las máquinas de Turing y el cálculo de λ son equivalentes solo con las funciones N→N que pueden definir.
Desde el punto de vista de la complejidad computacional, parecen comportarse de manera diferente. La razón principal por la que las personas usan máquinas de Turing y no el cálculo de λ para razonar sobre la complejidad es que usar el cálculo de λ ingenuamente conduce a medidas de complejidad poco realistas, porque puede copiar términos (de tamaño arbitrario) libremente en pasos de reducción de β únicos , por ejemplo (λx.xxx)M→MMM.En otras palabras, pasos de reducción individuales en λ-el cálculo es un modelo de pésimo costo. Por el contrario, los pasos de reducción de una sola máquina de Turing funcionan muy bien (en el sentido de ser buenos predictores del tiempo de ejecución del programa del mundo real).
No se sabe cómo recuperar completamente la teoría convencional de la complejidad basada en la máquina de Turing en el
cálculo λ . En un reciente avance (2014), Accattoli y Dal Lago
lograron demostrar que a grandes clases de complejidad temporal como P , NP y EXP se les puede dar una formulación natural de cálculo λ . Pero clases más pequeñas como O(n2) u O(nlogn) no puede presentarse utilizando las técnicas Accattoli / Dal Lago.
Se desconoce cómo recuperar la complejidad espacial convencional utilizando el
cálculo λ .