se llama parcialmente computable si el gráfico formula_2 es un conjumerable.