For the lambda symbol A, you can use the capital letter L. E.g., (Axy | xy)...

  

Transcribed Image Text:

For the lambda symbol A, you can use the capital letter L. E.g., (Axy | xy) can be written as (Lay | xy). Reduce the following X-expression to its normal form. Show two sequences of reductions, one of which is based on normal order reduction and the other based on applicative order reduction. Show all the reduction steps. (Axy | xx(yy)) (Ax | xy) (Ax | x) For the lambda symbol A, you can use the capital letter L. E.g., (Axy | xy) can be written as (Lay | xy). Reduce the following X-expression to its normal form. Show two sequences of reductions, one of which is based on normal order reduction and the other based on applicative order reduction. Show all the reduction steps. (Axy | xx(yy)) (Ax | xy) (Ax | x)

Answer rating: 100% (QA)

calculus is a rewriting system but its power to express all partial recursive functions makes it equ... View the full answer