Give as simple a set of rules as you can for transforming lambda calculus to a...
Fantastic news! We've Found the answer you've been seeking!
Question:
Transcribed Image Text:
Give as simple a set of rules as you can for transforming lambda calculus to a form where there are no bound variables mentioned, but where there are many instances of the three standard combinator constants S, K and I. [6 marks] Describe tree-rewrites suitable for reducing expressions written in terms of combinators. [6 marks] Explain how you might deal with the issue of keeping track of the values of bound variables if you were to interpret lambda calculus directly. [8 marks] For each of the given pairs of terms, give a most general unifier or indicate why none exists. (Here x, y, z are variables while a, b are constant symbols.) h(x, y, z) and h(y, z, u) h(x, y, z) h(x,y,b) and and h(f(y), z,a) h(a,x,y) h(x, y, z) and h(g(y,y), g(z, z), g(u, u)) [4 marks] A standard unification algorithm takes a pair of terms t and t2 and returns a substitution such that t0 = t20. Show how this algorithm can be used to find the unifier of several (n > 2) terms t, t2,..., tn: a substitution such that t0 = t20 == tn0. Indicate how the unifier is constructed from the unifiers of n 1 pairs of terms. (Assume that all required unifiers exist and ignore the question of whether the unifiers are most general.) [6 marks] Prove using resolution the formula (Vx [P(x) (Q(x) AQ(f(x)))])y-P(y) or indicate why this formula is not a theorem. [10 marks] Give as simple a set of rules as you can for transforming lambda calculus to a form where there are no bound variables mentioned, but where there are many instances of the three standard combinator constants S, K and I. [6 marks] Describe tree-rewrites suitable for reducing expressions written in terms of combinators. [6 marks] Explain how you might deal with the issue of keeping track of the values of bound variables if you were to interpret lambda calculus directly. [8 marks] For each of the given pairs of terms, give a most general unifier or indicate why none exists. (Here x, y, z are variables while a, b are constant symbols.) h(x, y, z) and h(y, z, u) h(x, y, z) h(x,y,b) and and h(f(y), z,a) h(a,x,y) h(x, y, z) and h(g(y,y), g(z, z), g(u, u)) [4 marks] A standard unification algorithm takes a pair of terms t and t2 and returns a substitution such that t0 = t20. Show how this algorithm can be used to find the unifier of several (n > 2) terms t, t2,..., tn: a substitution such that t0 = t20 == tn0. Indicate how the unifier is constructed from the unifiers of n 1 pairs of terms. (Assume that all required unifiers exist and ignore the question of whether the unifiers are most general.) [6 marks] Prove using resolution the formula (Vx [P(x) (Q(x) AQ(f(x)))])y-P(y) or indicate why this formula is not a theorem. [10 marks]
Expert Answer:
Related Book For
Smith and Roberson Business Law
ISBN: 978-0538473637
15th Edition
Authors: Richard A. Mann, Barry S. Roberts
Posted Date:
Students also viewed these programming questions
-
Briefly describe ASCII and Unicode and draw attention to any relationship between them. [3 marks] (b) Briefly explain what a Reader is in the context of reading characters from data. [3 marks] A...
-
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 < p < 1. (i) Show that the...
-
2. For every $1.00 spent on Advertising, the Industry generates $10.00 in Net Sales. You calculate Living Earth's Advertising relationship to Net Sales (show work) and report your comparison of...
-
Consider Example 7.7.1. The MATLAB left division operator can be used to solve the set of linear algebraic equations AT = b as follows: T = A\b. Use this method to write a script file to solve for...
-
During the year ended December 3 1 , 2 0 2 3 , Gluco Incorporated split its stock on a 5 - for - 1 basis. In its annual report for 2 0 2 2 , the firm reported net income of $ 9 5 0 , 9 0 0 for 2 0 2...
-
The minimum age to volunteer at the Vancouver Aquarium in Vancouver, British Columbia is 14 years old. The data below displays the ages of potential volunteers who have expressed interest in working...
-
The University of Chicago Press is wholly owned by the university. It performs the bulk of its work for other university departments, which pay as though the press were an outside business...
-
Here In the video about Ellito https://www.youtube.com/watch?v=l9DPTdVMnFc Guidelines for transcribing and coding speech samples Your transcribed speech sample will begin with" Brief Description of...
-
Use the financial statements below to calculate the firm's ROE using the full DuPont formula - that means you must show the calculation using all three components. You must type in both the answer...
-
Below is a listing of the adjusted account balances at December 31, 2022 for Flounders Friends Limited: Consulting revenue Salary payable Prepaid insurance Insurance expense Accounts receivable...
-
Under IAS 10 Events After the Reporting Period, there are two categories of subsequent events. ABC Inc. is preparing its financial statements for the year ended October 31, Year 1. What is one of the...
-
You are given a dataset. The dataset file name is CAR_ACCIDENTS_VEECTORIA.csv. The file size is 2 kb. The data was created on 2 Jan 2020. The dataset was provided and prepared by Veectorian...
-
Red, White and Blue are equal partners. White retires, his share of goodwill is ~ 18,000. The remaining partners have decided to continue the business sharing profits and losses in the ratio of 3 :...
-
A professor was interested in comparing how well her students performed on their midterm and final exams in her calculus course. She randomly sampled 7 students from her class and recorded their...
-
What does the Agile Development Methodology has to say with respect to the major factors being trade-off in a Software Development Project, name: Cost, Schedule, Scope, and Quality?
-
Les has collected stamps in his spare time for years. He purchased many of his stamps at a price much lower than the current market value. Les recently lost his job as a carpenter. Since his wife...
-
One of the main fears that retail startups have is if they will be able to compete against Walmart, Home Depot, and the other big-box stores. This is a legitimate fear. Big-box stores continue to...
-
Influencer marketing is a type of marketing where companies partner with influencers, who have a significant following on social media platforms, to promote their products or services. Influencers...
-
In the summer of 2015, Stephen Kuhl and Kabeer Chopra made their way to Philadelphia to prepare for business school. It was their first semester in the Wharton MBA program. They were both in an...
Study smarter with the SolutionInn App