PIA

Señala una expresión equivalente a la siguiente: (λa.(λb.(λc.a c))(λa.a b)a). (a) λa.(λbc.a c)(λa.a b)a. (b) (λabc.a c)(λa.a b)a. (c) λa.(λbc.a c)((λa.a b)a).

Señala la respuesta incorrecta: (a) En la expresión λa.(λbc.a c(λa.a b))a todas las variables son ligadas. (b) En la expresión λa.(λbc.a c)(λa.a b)a todas las variables son ligadas excepto la última aparición de la a. (c) En la expresión (λabc.a c)(λa.a b)a, las últimas apariciones de a y b son libres.

Señala el resultado de la siguiente sustitución: (λx.λy.z x)[((λx.x) x)/z]. (a) (λx.λy.((λa.a) a) x). (b) (λx.λy.((λx.x) a) x). (c) (λa.λy.((λx.x) x) a).

Indicar la única η-reducción que se realiza de forma correcta: (a) λx.x y η→y. (b) λx.(λy.y x) x η→(λy.y x). (c) λx.(λx.x y) x η→(λx.x y).

Indicar la única α-reducción que se realiza de forma correcta: (a) λz.(λx.x y) z α→λy.(λx.x y) y. (b) λz.(λx.x y) z α→λx.(λx.x y) x. (c) λz.(λx.x y) z α→λz.(λx.x a) z.