Püsipunktikombinaator
Allikas: Vikipeedia
Püsipunktikombinaator (inglise keeles fixed point combinator) on funktsioon, mis arvutab teiste funktsioonide püsipunkte.
Funktsiooni püsipunkt on argumendi väärtus, mille see funktsioon samaks jätab ehk mille puhul funktsiooni väärtus võrdub argumendi väärtusega: väärtus x on funktsiooni f püsipunkt siis ja ainult siis, kui f(x) = x. Näiteks 0 ja 1 on ruutfunktsiooni püsipunktid.
Lambdaarvutuses ja kombinatoorses loogikas on igal funktsioonil mõni püsipunkt. Seal on võimalik genereerida funktsioon (tähis sageli Y), mis arvutab iga etteantud funktsiooni mõne püsipunkti: Y on niisugune funktsioon, et kõikide funktsioonide f korral f(Y(f)) = Y(f).
[redigeeri] Vaata ka
- kombinatoorne loogika
- lambdaarvutus
