[kadzu]

Buenas tengo el siguiente problema..
quiero saber como se resuelven algunas reducciones en Calculo Lambda, es decir qué resultado me dan, encontré alguna info pero no estoy seguro. tengo entendido (CREO) que se puede resolver con Hugs. o con python.
Los ejemplos a resolver de Calculo Lambda son:
- (λx.(λx.x)(+ 1 x)1
- (λx.(λx.z))z
- (λv.((λz.z) x))
- (λx.((λx.x)y)z)
- (λ x y . ( x y ) y)

o cosas por el estilo. Necesito alguien que me explique o como puedo programar en python o hugs para resolver algo asi.. desde ya gracias.

No necesariamente tengo que resolverlo en python o winhugs, me gustaria si me pudieran explicar como resolverlo.

?

[topo23]

Bueno hugs, python, ghc, scheme te sirven para programar usando lambda calculus, pero no te sirven para resolverlas estas expresiones.

Por ejemplo esta operacion (λ x y . ( x y ) y) en python quedaria algo asi

Código: [Seleccionar]

l=lambda x,y:(x(y))(y)

[Klaurus]

Hay reglas para simplificar este tipo de expresiones. Te dejo un pdf con las reglas y multiples ejemplos. Leelo y cualquier duda me preguntás.