Question: Give applicative and normal order reductions for the following lambda expressions. State which steps use which conversions and which variables are bound ( put an

Give applicative and normal order reductions for the following lambda expressions. State which steps use which conversions and which variables are bound

(

put an arrow to their bindings

)

and which are free

(

circle it

)

(\

lambda x

. ((\

lambda y

. (* 2

)) (+

x y

)))

(20

marks

)

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!

[ 2 5 points ] Lambda Calculus This first two sets of problems will require you to correctly interpret the precedence and associativity rules for Lambda calculus and also properly identify free and...

ret Electricity consumers are supplied with electricity from an electricity generating station. Electricity is distributed from the station to the various consumers through a network of transformers...

Let A, B be sets. Define: (a) the Cartesian product (A B) (b) the set of relations R between A and B (c) the identity relation A on the set A [3 marks] Suppose S, T are relations between A and B, and...

Let r and s be solutions to the quadratic equation x 2 b x + c = 0. For n N, define d0 = 0 d1 = r s dn = b dn1 c dn2 (n 2) Prove that dn = r n s n for all n N. [4 marks] (b) Recall that a commutative...

s sf Define the terms opaque type and concrete type. [5 marks] The following is a shortened version of one of the definition modules described in the Modula-2 user manual: Provide a suitable...

QUIZ... Let D be a poset and let f : D D be a monotone function. (i) Give the definition of the least pre-fixed point, fix (f), of f. Show that fix (f) is a fixed point of f. [5 marks] (ii) Show that...

Predictive text entry systems are familiar on touch screens and mobile phones. This question asks you to consider how the same principles might be used in a programming editor for creating Java code....

Consider the Markov Chain, Xn, on the states i = 0, 1, 2, . . . with transition matrix given by pi,i1 = p i = 1, 2, . . . pi,i+1 = 1 p i = 0, 1, . . . p0,0 = p where 0

Microkernel operating systems aim to address perceived modularity and reliability issues in traditional "monolithic" operating systems. (i) Describe the typical architecture of a microkernel...

Miller-Rabin test to check whether a number N is composite. This will involve computing a N1 mod N for some value of a. [10 marks] Carry out the steps for N = 65 and a = 1, 2, 8 and 12. on what each...

Write the cell reaction and electrode half-reactions and calculate the standard emf of each the following cells: (a) Ptl C12 (g) I HCl (aq) 11 K, Cr04 (aq) IAg, Cr04(s) IAg (b) Pt 1 Fe3+(aq),Fe2+(aq)...

What happens when a mixture of ammonia oxygen passed over a platinum gauge heated to 800 C?

Which of the following gifts made by Tristan, age 4 9 , is subject to the generation - skipping transfer tax? Payment of medieat school tultion of 5 5 0 , 0 0 0 tor the granddaughter of joe,...

A transformation T: (x,y) ? (x + 3, y + 1). The image of B(4, 1) under this transformation is(7.2)(1, 0)(-1,0)