Fixpunkt-Kombinator

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Ein Fixpunkt-Kombinator ist ein mathematischer Operator in Form einer Funktion höherer Ordnung , welcher von einer Funktion einen ihrer Fixpunkte liefert. Ein Fixpunkt der Funktion erfüllt die Bedingung

und somit

Durch Einsetzen ergibt sich die Eigenschaft des Fixpunkt-Kombinators dann als

Spezielle Fixpunkt-Kombinatoren

[Bearbeiten | Quelltext bearbeiten]

Ein spezieller Fixpunkt-Kombinator ist der von Haskell Curry beschriebene Y-Kombinator des Lambda-Kalküls:

Fixpunkt-Kombinatoren werden in verschiedenen Bereichen eingesetzt: