There is no picture Attached
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:
t = 6 s
Step-by-step explanation:
Given that,
Sherry is driving 390 miles to visit The gateway arch in St. Louis.
She drives at an average rate of 65 miles per hour.
We need to find the amount of time it will take Sherry to get to the arch. Let the time is t.
Speed = distance/time
Hence, it will take 6 hours to get to the arch.
Answer:
x=4,−3
Step-by-step explanation:
