Ask question

Ask question

All categories

4 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

1 answer:

QveST [7]4 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

A watch band is 8 in long. What is its diameter when you wrap it around your wrist? Round your answer to the nearest

Snezhnost [94]

Answer:

well, all you need to do is 8 x 3.14 so then you shall get your answer!

Step-by-step explanation:

6 0

3 years ago

Y-6=4(x+5) what is y and x intercept?

Law Incorporation [45]

Answer:

x = $(-\frac{13}{2} ,0)$ y = (0,26)

Step-by-step explanation:

First find the x intercept

To find the x intercept, substitute 0 for y and solve for x.

$(0)-6=4(x+5)$

Rewrite the equation as $4(x+5)=(0)-6$

$4(x+5)=(0)-6$

Subtract 6 from 0.

$4(x+5)=-6$

Divide each term in $4(x+5)=-6$ by 4.

$\frac{4(x+5)}{4} =\frac{-6}{4}$

Cancel the common factor of 4.

$x+5=\frac{-6}{4}$

Simplify $\frac{-6}{4}$

$x+5=-\frac{3}{2}$

Subtract 5 from both sides of the equation.

$x=-\frac{3}{2} -5$

To write $-5$ as a fraction with a common denominator, multiply by $\frac{2}{2}$

$x=-\frac{3}{2}-5$ · $\frac{2}{2}$

Combine $-5$ and $\frac{2}{2}$ .

$x=-\frac{3}{2} +\frac{-5*2}{2}$

Combine the numerators over the common denominator.

$x=\frac{-3-5*2}{2}$

Simplify the numerator.

$x=\frac{-13}{2}$

Move the negative in front of the fraction.

$x=-\frac{13}{2}$

x = $(-\frac{13}{2} ,0)$

-----------------------------------------------------------------------------------------------------

Find the y-intercepts.

To find the y-intercept(s), substitute in 0 for x and solve for y.

$y-6=4((0)+5)$

Add 0 and 5.

$y-6=4 *5$

Multiply 4 by 5.

$y-6=20$

Add 6 to both sides of the equation.

$y=20+6$

Add 20 and 6.

$y=26$

y = (0, 26)

7 0

3 years ago

Which of the following points lie in the solution set to the following system of inequalities?

EastWind [94]

Answer:

Option c . (2, 5)

Step-by-step explanation:

we know that

If a ordered pair lie in the solution set of a system of inequalities, then the ordered pair must satisfy both inequalities of the system

we have

$y > -3x+3$ ----> inequality A

$y >x+2$ ----> inequality B

<u><em>Verify each ordered pair</em></u>

case a) (2,-5)

<em>Verify inequality A</em>

$y > -3x+3$

$-5 > -3(2)+3$

$-5 > -3$ ----> is not true

so

The point not satisfy inequality A

therefore

The point not lie in the solution set

case b) (-2,5)

<em>Verify inequality A</em>

$y > -3x+3$

$5 > -3(-2)+3$

$5 > 9$ ----> is not true

so

The point not satisfy inequality A

therefore

The point not lie in the solution set

case c) (2,5)

<em>Verify inequality A</em>

$y > -3x+3$

$5 > -3(2)+3$

$5 > -3$ ----> is true

so

The point satisfy inequality A

<em>Verify inequality B</em>

$y >x+2$

$5 >2+2$

$5 >4$ ---> is true

so

The point satisfy inequality B

therefore

The point lie in the solution set

case d) (-2,-5)

<em>Verify inequality A</em>

$y > -3x+3$

$-5 > -3(-2)+3$

$-5 > 9$ ----> is not true

so

The point not satisfy inequality A

therefore

The point not lie in the solution set

6 0

4 years ago

Translation 5 units right and 1 unit up

dsp73

Answer:

1/5x

Step-by-step explanation:

5 0

3 years ago

Read 2 more answers

Most of the time we ____ energy but it is everywhere around us

pychu [463]

Answer:

waste

Step-by-step explanation:

Try to think of something that doesn't involve energy and you won't get very far. Even thinking—even thinking about energy!—needs some energy to make it happen. In fact, everything that happens in the world uses energy of one kind or another. But what exactly is energy?

Energy is a bit of a mystery. Most of the time we can't see it, yet it is everywhere around us. Revving car engines burn energy, hot cups of coffee hold energy, street lights that shine at night are using energy, sleeping dogs are using energy too—absolutely everything you can think of is using energy in one way or another. Energy is a magical thing that makes other things happen. Everything in the world is either energy or matter ("stuff" around us) and even matter, when you really get down to it, is a kind of energy!

3 0

3 years ago