Homework Help is Here – Start Your Trial Now!
Engineering
Data Structures and Algorithms
Q7 1 Point Which of the following lambda expressions is alpha-equivalent to Aa.b (Ab.a(bc))? Ax.g (Ay.x (yf)) Aw.b (Az.w(bc)) Am.b (An.m (nc)) Ap.q(Aq.p (qc)) Save Answer Q8 1 Point Which of the following is a result of applying exactly one beta-reduction to (Ax.ày.yx) (Az.zz)y? (Ay.yx) y y(Az.zz) (Ay.y (Az.zz))y (Ax.Ay.yx) yy (Ax.Ay.yx) (Az.zz) y Save Answer Q5 1 Point Which of the following lambda expressions will result in infinite recursion when attempting to beta reduce? (xx.x)(λy.y) λf.f(ff) (Ay.yy)(xx.xxx) (xx.x)(λx.xx) Save Answer Q6 1 Point Which of the following is a valid alpha-conversion of ax. (Ay.xyz)? Ay. (Ax.xyz) Aa. (Ab.abc) Ay. (Ab.ybz) Ax. (Ax.xxz) Save Answer

Q7 1 Point Which of the following lambda expressions is alpha-equivalent to Aa.b (Ab.a(bc))? Ax.g (Ay.x (yf)) Aw.b (Az.w(bc)) Am.b (An.m (nc)) Ap.q(Aq.p (qc)) Save Answer Q8 1 Point Which of the following is a result of applying exactly one beta-reduction to (Ax.ày.yx) (Az.zz)y? (Ay.yx) y y(Az.zz) (Ay.y (Az.zz))y (Ax.Ay.yx) yy (Ax.Ay.yx) (Az.zz) y Save Answer Q5 1 Point Which of the following lambda expressions will result in infinite recursion when attempting to beta reduce? (xx.x)(λy.y) λf.f(ff) (Ay.yy)(xx.xxx) (xx.x)(λx.xx) Save Answer Q6 1 Point Which of the following is a valid alpha-conversion of ax. (Ay.xyz)? Ay. (Ax.xyz) Aa. (Ab.abc) Ay. (Ab.ybz) Ax. (Ax.xxz) Save Answer

icon
Related questions
Question
Q7 1 Point Which of the following lambda expressions is alpha-equivalent to Aa.b (Ab.a(bc))? Ax.g (Ay.x (yf)) Aw.b (Az.w(bc)) Am.b (An.m (nc)) Ap.q(Aq.p (qc)) Save Answer Q8 1 Point Which of the following is a result of applying exactly one beta-reduction to (Ax.ày.yx) (Az.zz)y? (Ay.yx) y y(Az.zz) (Ay.y (Az.zz))y (Ax.Ay.yx) yy (Ax.Ay.yx) (Az.zz) y Save Answer
Transcribed Image Text:Q7 1 Point Which of the following lambda expressions is alpha-equivalent to Aa.b (Ab.a(bc))? Ax.g (Ay.x (yf)) Aw.b (Az.w(bc)) Am.b (An.m (nc)) Ap.q(Aq.p (qc)) Save Answer Q8 1 Point Which of the following is a result of applying exactly one beta-reduction to (Ax.ày.yx) (Az.zz)y? (Ay.yx) y y(Az.zz) (Ay.y (Az.zz))y (Ax.Ay.yx) yy (Ax.Ay.yx) (Az.zz) y Save Answer
Q5 1 Point Which of the following lambda expressions will result in infinite recursion when attempting to beta reduce? (xx.x)(λy.y) λf.f(ff) (Ay.yy)(xx.xxx) (xx.x)(λx.xx) Save Answer Q6 1 Point Which of the following is a valid alpha-conversion of ax. (Ay.xyz)? Ay. (Ax.xyz) Aa. (Ab.abc) Ay. (Ab.ybz) Ax. (Ax.xxz) Save Answer
Transcribed Image Text:Q5 1 Point Which of the following lambda expressions will result in infinite recursion when attempting to beta reduce? (xx.x)(λy.y) λf.f(ff) (Ay.yy)(xx.xxx) (xx.x)(λx.xx) Save Answer Q6 1 Point Which of the following is a valid alpha-conversion of ax. (Ay.xyz)? Ay. (Ax.xyz) Aa. (Ab.abc) Ay. (Ab.ybz) Ax. (Ax.xxz) Save Answer
Expert Solution
steps

Step by step

Solved in 2 steps with 4 images

SEE SOLUTIONCheck out a sample Q&A here
Blurred answer