Según la tesis de Church-Turing, ambos modelos pueden expresar cualquier cómputo posible.