Reduce the following lambda-calculus term to the normal form. Show all intermediate steps, with one beta reduction at a time. In the reduction, assume that you are supplied with extra rules that allow you to reduce the multiplication of two natural numbers into the corresponding result.

(λf. λx. f (f x)) (λy. Y * 3) 2

Step-by-step explanation:

Reduction to normal from using lambda-reduction:

The given lambda - calculus terms is, (λf. λx. f (f x)) (λy. Y * 3) 2

For the term, (λy. Y * 3) 2, we can substitute the value to the function.

Therefore, applying beta- reduction on "(λy. Y * 3) 2" will return 2*3= 6

So the term becomes,(λf. λx. f (f x)) 6

The first term, (λf. λx. f (f x)) takes a function and an argument, and substitute the argument in the function.

Here it is given that it is possible to substitute the resulting multiplication in the result.

Therefore by applying next level beta - reduction, the term becomes f(f(f(6)) (f x)) which is in normal form.

if the eqn of the parabola is f(x) = (x-4)(x+2), we need to mult. this out to find the coordinates of the vertex.

then f(x) = x^2 + 2x - 4x - 8, and f(x) = x^2 - 2x - 8.

one way in which you can find the vertex is to calculate x = -b / (2a).   here, that comes to

        )

x = = 1.   f(1) = 1^2 - 2(1) - 8 = - 9.   vertex is at (1, -9).

        2(1) 

find another point on the curve:   let x=0, for which y=-8.   then (0, -8) is on the curve.   plot the vertex and this point and draw a smooth parabola thru both.

hope this