Consider the -expression (f. g. z. f (g z)) (x.x+1) (y. y* 2), where denotes...

Transcribed Image Text:

Consider the \-expression (f. \g. \z. f (g z)) (\x.x+1) (\y. y* 2), where \ denotes lambda. What is the next step in the reduction? (\g. \z. (\x.x + 1) (g z)) (\y. y* 2) (\f. \g. f(g(\x.x+1))) (\y.y* 2) (\g. \z. (ly.y* 2) (g z)) (\x.x+1) Consider the \-expression (f. \g. \z. f (g z)) (\x.x+1) (\y. y* 2), where \ denotes lambda. What is the next step in the reduction? (\g. \z. (\x.x + 1) (g z)) (\y. y* 2) (\f. \g. f(g(\x.x+1))) (\y.y* 2) (\g. \z. (ly.y* 2) (g z)) (\x.x+1)

Answer rating: 100% (QA)

The detailed answer for the above question is provided below Youre on the right track The next ... View the full answer