Question: Computer Science about expression Question b was solved, but Question a could not be solved . a. S def xyz.xz(yz), K def axy.x Answer the
Computer Science about expression
Question b was solved, but Question a could not be solved

. a. S def xyz.xz(yz), K def axy.x Answer the 1 expression SK to be B -reduced to the normal form with the leftmost (leftmost outermost) strategy. b. Answer the expression SKK to be -reduced to the normal form with the leftmost (leftmost outermost) strategy. (afgx.fx(gx)) (1xy. x)(1xy. x) (agx. (1xy. x)x(gx)) (1xy.x) 1x. (1xy.x)x((Axy. x)x) ix.(Ay.x)((Axy.x)x) + 2x. x
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
