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
Which of the following must be true?
Naddika [18.5K]

Answer:

B, it's the only plausible one. A is wrong because the value would be above 180°

5 0
3 years ago
Read 2 more answers
What is the word form of each decimal 0.2
tia_tia [17]
What you think it is
6 0
3 years ago
Read 2 more answers
Suppose the trinomial x2 + 4x + 3
Zanzabum

Answer:

bob

Step-by-step explanation:

░░░░░▐▀█▀▌░░░░▀█▄░░░

░░░░░▐█▄█▌░░░░░░▀█▄░░

░░░░░░▀▄▀░░░▄▄▄▄▄▀▀░░

░░░░▄▄▄██▀▀▀▀░░░░░░░

░░░█▀▄▄▄█░▀▀░░

░░░▌░▄▄▄▐▌▀▀▀░░ This is Bob

▄░▐░░░▄▄░█░▀▀ ░░

▀█▌░░░▄░▀█▀░▀ ░░ Copy And Paste Him onto all of ur brainly answers

░░░░░░░▄▄▐▌▄▄░░░ So, He Can Take

░░░░░░░▀███▀█░▄░░ Over brainly

░░░░░░▐▌▀▄▀▄▀▐▄░░

░░░░░░▐▀░░░░░░▐▌░░

░░░░░░█░░░░░░░░█

7 0
3 years ago
Read 2 more answers
4-3 how do I become popular?
Daniel [21]

Talk to as many people as you can and be nice. It also helps if you are helpful to people, but try not to get too stressed out. Always focus on school.

4 0
3 years ago
Read 2 more answers
I need help with all three questions please. I am just Stuck.
vitfil [10]

Answer:

p_{o} = 6, r = 2, p_{12} = 24576.

Step-by-step explanation:

The value of p_{o} is the first value of the geometric series, that is, p_{o} = 6.

If the series represents a geometric sequence, then r must be constant for every consecutive pair of elements, that is:

r_{1} = \frac{p_{1}}{p_{o}} = \frac{12}{6} = 2

r_{2} = \frac{p_{2}}{p_{1}} = \frac{24}{12} = 2

r_{3} = \frac{p_{3}}{p_{2}} = \frac{48}{24} = 2

Since r_{1} = r_{2} = r_{3} = 2, r = 2.

The geometric sequence can be represented by the following formula:

p_{n} = p_{o}\cdot r^{n}, for n \in \mathbb{N}

The 12th element of the geometric sequence is: (p_{o} = 6, r = 2, n = 12)

p_{12} = 6\cdot 2^{12}

p_{12} = 24576

5 0
3 years ago
Other questions:
  • Estimate the sum or difference...
    12·1 answer
  • Please help I need for graph
    5·1 answer
  • (03.02 HC)Amy, Dan, and Mike are competing in a cooking competition. They all used different amounts of milk from a container ho
    7·2 answers
  • PLEASSSEEEEEEEEEEE HELP ME EEEEEEEEEEEEEEE
    11·1 answer
  • What property would you use to solve m + 6 = -4?
    12·2 answers
  • Evaluate the function when x = 5<br> P(x) = -3 + 4x
    6·2 answers
  • What is the simplified form of ? 12x6 12x18 72x6 72x18
    14·2 answers
  • HELP&gt;&gt;&gt;&gt;&gt;&gt;&gt;&gt;PLZ I WILL KEEP UPPING POINT BCUZ I HAVE ALOT OF Q"S
    11·1 answer
  • The scale of a map is 1 in.:250 miles. City a is 368 miles from city h. To the nearest tenth, how far is its distance on the map
    6·1 answer
  • Factorise 8x^2+20XY-12y
    6·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!