Answer:
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.
Answer:
15 shirts in one hour
Step-by-step explanation:
there are 60 minutes in an hour, 20 times 3 is 60, 5 times 3 is 15
It’s 15 km. You need to take the root from 9^2 + 12^2 wich equals 15. You need to use pythagoras a^2 + b^= c^2
I think it would be 1235404 because 4 times 100 equals 400
The rectangular prism has a volume of, 1/4 cubic meter.
