¿Qué es la minimización (función μ) en términos sencillos?
-
29-09-2020 - |
Pregunta
En Ciencias de la Computación, la función μ se usa para extender un conjunto de funciones primitivamente recursivas a funciones generalmente recursivas, y no puedo entender qué hace esta función.
Hay muchas fórmulas, pero no puedo entender cuál es.Digamos que estoy escribiendo en Python (o cualquier otro lenguaje de propósito general).¿Cuáles son ejemplos de función μ IRL?
Solución
Esto es minimización en Python:
def mu(p):
n = 0
while not p(n):
n += 1
return n
Es un ejercicio un poco más complicado convertir un while
a $\mu$, pero esencialmente, $\mu$ realiza una búsqueda del primero (mínimo) número que satisface una condición determinada, donde no hay garantía de que la búsqueda tenga éxito.
Licenciado bajo: CC-BY-SA con atribución
No afiliado a cs.stackexchange