Estos tres formalismos, las máquinas de Turing, los lenguajes formales y el cálculo Lambda han sido desarrollados de forma independiente y sin embargo se ha probado que son equivalentes; esta notable coincidencia parece indicar que la tesis de Church-Turing es cierta, siendo la noción de algoritmo o procedimiento efectivo de cómputo equivalente a la noción de cómputo en una máquina de Turing.