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
Is 1709 divisible by 2,3,5,6,9
coldgirl [10]
Hey mate!
Let's figure this out!

The answer is false.

1709 / 2 = 854.5
1709 / 3 = 569.6
1709 / 5 = 341.8
1709 / 6 = 184.8
1709 / 9 = 189.8


Hope this helps! :)

6 0
3 years ago
Read 2 more answers
-10 +log3 (n+3)= -10
Rufina [12.5K]

Answer:

n= -3 or in exact form: N= - log27/log3

Step-by-step explanation:

8 0
3 years ago
Perimeter? =<br> Area? =
balu736 [363]

Answer:

Your answer is

Area  = 16.23

perimeter = 24

Mark my answer as brainlist . I need that urgently . Folow me for more answer.

Step-by-step explanation:

5 0
2 years ago
Solve each equation by completing the square <br>r² = –12r - 35​
Fittoniya [83]

Answer:

r = - 7, r = - 5

Step-by-step explanation:

Given

r² = - 12r - 35 ( add 12r to both sides )

r² + 12r = - 35

To complete the square

add ( half the coefficient of the r- term )² to both sides

r² + 2(6)r + 36 = - 35 + 36

(r + 6)² = 1 ← take the square root of both sides )

r + 6 = ± 1 ( subtract 6 from both sides )

r = - 6 ± 1, thus

r = - 6 - 1 = - 7 or r = - 6 + 1 = - 5

7 0
3 years ago
What is a standard procedure for dividing by a two-digit divisor?explain
nikklg [1K]

Two-Digit Divisor in Long Division. Two-Digit Divisor in Long Division. This is a complete lesson with examples and exercises about two-digit divisor in long division, meant for initial teaching in 5th grade.

7 0
3 years ago
Other questions:
  • The tables represent two linear functions in a system.
    8·2 answers
  • 40.An instrument that is inconsistent in measuring a variable would lack: trustworthiness credibility triangulation reliability
    8·1 answer
  • Im never using brainly ever again the answers are wrong so here is you question
    11·2 answers
  • "$12 million per year. grow 10% compounded annually over the next 5 years. What will demand be in 5 years?"
    10·1 answer
  • Determine the point estimate of the population proportion, the margin of error
    14·1 answer
  • A triangle has an area of 300 square inches. The height of the triangle is 12.5 inches. What is the
    10·2 answers
  • Type your answer into the box,
    12·1 answer
  • Evaluate each expression.<br> 8/7 + 4/7
    14·2 answers
  • What is the total surface area of the figure below? Only enter the number part of your answer. Do not include the units.
    10·1 answer
  • A rectangular sheet of paper is 12 cm long and 10 cm wide. 2 3 Find its perimeter.​
    5·2 answers
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!