se llama computable si el gráfico de formula_2 es un conjunto recursivo.