Mathematics, 24.03.2020 19:47, jolleyrancher78

G Problem 2 (Normal Order). The goal of this problem is to identify the unique redex, if any, that will be reduced first in normal order evaluation strategy for the given expressions. To identify a redex, you should highlight the ( λx. t ) part of the redex in yellow and the t’ part of the redex in blue. Here is an example. Example. ( λx. x x ) ( λx. x x ) ( λx. x x ) ( λx. x x ) Answer. ( λx. x x ) ( λx. x x ) ( λx. x x ) ( λx. x x ) Note that you are only asked to identify the redexes and you are not asked to do the reduction. 1. x ( λx. x x ) ( λx. x x ) x 2. ( λx. ( λx. x ) x ) ( λx. x ) x 3. ( λx. ( λx. x ) x ) λx. ( λx. x ) x 4. ( λx. x ( λx. x ) x ) λx. x ( λx. x ) x 5. x ( λx. x ( λx. x ) x ) (λx. x ( λx. x ) x ) x 6. λx. (λx. x ) (λx. ( λx. x ) x x ) 7. ( ( λx. λy. ( λy. x ) λx. x x ) ) ( ( λx. ( λy. x ) ) λx. x x ) 8. ( λx. ( λx. ( λx. x ) x ) x ) ( ( λx. x ) ( λx. x ) ( λx. x ) ) 9. x ( λx. ( λy. x ) λx. x x ) ( λx. ( λy. x ) λx. x x ) ( ( λx. ( λy. x ) ) λx. x x ) 10. ( λx. ( λy. x ) λx. x x ) ( ( λx. ( λy. x ) ) λx. x x )

Answers: 2

Show answers

Other questions on the subject: Mathematics

Mathematics, 21.06.2019 16:50, lunamoon1

The rate of decay of a radioactive substance depends upon the amount present initially. the mass y (mg) of the radioactive substance cobalt-60 present in a sample at time t (years) is represented by the exponential equation y=50e −0.1315 t . answer the following questions in complete sentences. 1. how does the exponential equation above compare to the equation for simple interest that is compounded continuously? explain the similarities. 2. what is the initial amount of cobalt-60 in the sample? 2. how much cobalt-60 is left after 8.4 years? show your work. 3. what would be the y-intercept of the graph? what does it represent? 4. after how many years will the amount of cobalt-60 left be 6.25 mg? explain what happens to the cobalt-60 after 50 years? 5. discuss some “real-world” examples and uses of cobalt-60

Answers: 1

continue

Mathematics, 21.06.2019 17:00, zamudioj92p80d12

Issof claims that the scale factor is 1/2. which statement about his claim is correct

Answers: 3

continue

Mathematics, 21.06.2019 17:30, nallaico585

What is the greater volume 72 quarts or 23 gallons

Answers: 1

continue

Mathematics, 21.06.2019 19:30, amatulli

Abird on top of a 200 ft bridge tower sees a man standing on the lower part of the bridge (which is 50 ft above the ground). the angle of depression from the bird is 26 ̊. how far is the man from the base of the bridge tower? with explanation and pictures .

Answers: 1

continue

Do you know the correct answer?

G Problem 2 (Normal Order). The goal of this problem is to identify the unique redex, if any, that w...