Evaluate the following lambda expressions using eager beta-reduction (use the standard interpretations for numbers and booleans wherever needed). (a) ((Lx.x*x)5) (b) ((Ly.((Lx.x+y+z)3))2) (c) ( (Lv.(Lw.w))((Lx.x)(y(Lz.z))))

Database System Concepts
7th Edition
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Chapter1: Introduction
Section: Chapter Questions
Problem 1PE
icon
Related questions
Question
Evaluate the following lambda expressions using eager beta-reduction
(use the standard interpretations for numbers and booleans wherever
meeded).
(a) ((Lx.x*x)5)
(b) ((Ly.((Lx.x+y+z)3))2)
(c) ( (Lv.(Lw.w)((Lx.x)(y(Lz.z))))
14.3 Evaluate the following expressions. (you could use a Scheme
interpreter)
(a) (null ? ())
(b) (null ? '(a bede))
(c) (car '(a (b c) de))
(d) (cdr '(a (b c) de))
(e) (cadr '(a (bc) de))
Transcribed Image Text:Evaluate the following lambda expressions using eager beta-reduction (use the standard interpretations for numbers and booleans wherever meeded). (a) ((Lx.x*x)5) (b) ((Ly.((Lx.x+y+z)3))2) (c) ( (Lv.(Lw.w)((Lx.x)(y(Lz.z)))) 14.3 Evaluate the following expressions. (you could use a Scheme interpreter) (a) (null ? ()) (b) (null ? '(a bede)) (c) (car '(a (b c) de)) (d) (cdr '(a (b c) de)) (e) (cadr '(a (bc) de))
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 1 images

Blurred answer
Knowledge Booster
Sorting
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
Recommended textbooks for you
Database System Concepts
Database System Concepts
Computer Science
ISBN:
9780078022159
Author:
Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:
McGraw-Hill Education
Starting Out with Python (4th Edition)
Starting Out with Python (4th Edition)
Computer Science
ISBN:
9780134444321
Author:
Tony Gaddis
Publisher:
PEARSON
Digital Fundamentals (11th Edition)
Digital Fundamentals (11th Edition)
Computer Science
ISBN:
9780132737968
Author:
Thomas L. Floyd
Publisher:
PEARSON
C How to Program (8th Edition)
C How to Program (8th Edition)
Computer Science
ISBN:
9780133976892
Author:
Paul J. Deitel, Harvey Deitel
Publisher:
PEARSON
Database Systems: Design, Implementation, & Manag…
Database Systems: Design, Implementation, & Manag…
Computer Science
ISBN:
9781337627900
Author:
Carlos Coronel, Steven Morris
Publisher:
Cengage Learning
Programmable Logic Controllers
Programmable Logic Controllers
Computer Science
ISBN:
9780073373843
Author:
Frank D. Petruzella
Publisher:
McGraw-Hill Education