(5 points) For the lambda-calculus term (Ar. Ay. x y)(Ax. xy). (a) (2 point) Calculate its...

 

Transcribed Image Text:

(5 points) For the lambda-calculus term (Ar. Ay. x y)(Ax. xy). (a) (2 point) Calculate its free variables using the FV function. Show the steps. Note that "r y" stands for a function application applying to y. (b) (2 point) Use lambda calculus reduction to reduce the expression to a normal form. Begin by renaming bound variables and show every step. (c) (1 point) Describe what goes wrong if you do not rename bound variables. (5 points) For the lambda-calculus term (Ar. Ay. x y)(Ax. xy). (a) (2 point) Calculate its free variables using the FV function. Show the steps. Note that "r y" stands for a function application applying to y. (b) (2 point) Use lambda calculus reduction to reduce the expression to a normal form. Begin by renaming bound variables and show every step. (c) (1 point) Describe what goes wrong if you do not rename bound variables.

Answer rating: 100% (QA)

To evaluate the lambdacalculus term xyxyxxy and reduce it to normal form we need to follow the steps ... View the full answer