1answer.
Ask question
Login Signup
Ask question
All categories
  • English
  • Mathematics
  • Social Studies
  • Business
  • History
  • Health
  • Geography
  • Biology
  • Physics
  • Chemistry
  • Computers and Technology
  • Arts
  • World Languages
  • Spanish
  • French
  • German
  • Advanced Placement (AP)
  • SAT
  • Medicine
  • Law
  • Engineering
larisa [96]
3 years ago
6

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
Mathematics
1 answer:
QveST [7]3 years ago
4 0

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.

You might be interested in
20 POINTS !!! ONLY HELP IF UR 100% SURE !!!
Arte-miy333 [17]
Your answer is C for sure I am!
8 0
3 years ago
Read 2 more answers
How do I put 3x - 6y = -12 into Slope Intercept Form?
max2010maxim [7]

Answer:

y=\frac{1}{2} x+2

Step-by-step explanation:

hope this helps

5 0
2 years ago
Read 2 more answers
The low temperatures for a week in winter were -2° F, -15° F, -7° F, 1° F, -4° F, 5° F, 8° F. What was the average low
Novay_Z [31]

Answer: -2 F

Step-by-step explanation:

To find the average, or <em>mean, </em>of a data set, you must first combine all of the values in the set. Since some of these values are negative, it seems more difficult to solve. But it isn't. To find the mean of any data sets, you can find the absolute value of each numerical value. If you combine these regularly, it would be -15, but that is incorrect. The answer is -2 because some of the values may be negative, but you can find the answer easily. Just remember: To find the mean of data sets with negative values, you can find their absolute values, and solve from there. If this does not work for you, then find another solution. But the correct answer is -2 F.

3 0
3 years ago
If a person walks 1/2 a mile in each 1/4 hour, how far does he walk in 1 hour?
laila [671]

Answer:

2 miles

Step-by-step explanation:

1/2+1/2+1/2+1/2=1

5 0
3 years ago
Read 2 more answers
I need help remembering the steps to solve for 3x-7&gt;2
goblinko [34]
3x-7>2
add 7 to both sides: 3x>9
divide both sides by 3: x>9
7 0
3 years ago
Read 2 more answers
Other questions:
  • AB = 6x DC = x + 15 AD = 9 BC = 3y Quadrilateral ABCD is a parallelogram if both pairs of opposite sides are congruent. Show tha
    5·1 answer
  • How do you find the question mark on #4?
    12·1 answer
  • Which outcomes are in A or B ?
    14·2 answers
  • 2. When two fractions refer to the same whole and have the
    15·1 answer
  • A box of crayons costs $1.75, incudng tax Mr valentino wants to purchase boxes of aayons or is dass and has a $25 budget. Write
    7·1 answer
  • Ruby tosses a quarter off the main stree bridge into the St. John's River. The distance, in feet, the quarter is above the water
    5·1 answer
  • Write one hundred sixty-seven thousand, five hundred forty-five in standard notation.
    8·2 answers
  • I need help please .
    14·1 answer
  • When the function ƒ(x) = 4x−2 is evaluated for x = 3, the output is:<br> -4<br> -6<br> -16<br> -none
    12·1 answer
  • Write the equation of the line that
    11·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!