Por tanto, deducimos que tanto las máquinas de Turing como los sistemas algorítmicos tienen la misma capacidad computacional.