Was ist Minimierung (μ-Funktion) in Laien-Systemen?
-
29-09-2020 - |
Frage
In der Informatik wird die μ-Funktion verwendet, um eine Reihe primitiv rekursiver Funktionen auf allgemein rekursive Funktionen zu erweitern, und ich kann nicht verstehen, was diese Funktion bewirkt.
Es gibt viele Formeln, aber ich kann nicht verstehen, was ist.Nehmen wir an, ich schreibe in Python (oder einer anderen Allzwecksprache).Was sind Beispiele für μ-Funktion IRL?
Lösung
Dies ist Minimierung in Python:
def mu(p):
n = 0
while not p(n):
n += 1
return n
Es ist eine etwas kompliziertere Übung, eine zu konvertieren while
zu $\mu$, aber im Wesentlichen, $\mu$ führt eine Suche nach dem ersten (minimal) Nummer, die eine bestimmte Bedingung erfüllt, bei der es keine Garantie dafür gibt, dass die Suche erfolgreich ist.
Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit cs.stackexchange