Sin embargo, muchas de sus posibilidades son indecidibles, pues no admiten una solución algorítmica.