Preguntas etiquetadas con combinatory-logic

Para preguntas sobre sistemas lógicos definidos mediante la aplicación y reescritura de términos de combinadores. Estos sistemas suelen tener una estrecha conexión con el cálculo lambda.


4
¿Derivación clara e intuitiva del combinador de punto fijo (combinador Y)?
El combinador de punto fijo FIX (también conocido como el combinador Y) en el cálculo lambda ( tipo) ( ) se define como:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Entiendo su …










Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.