Püsipunktikombinaator

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).

Vaata ka 

 kombinatoorne loogika
 lambdaarvutus

Loogika