Question
Determine for every ?-term whether it has a b-normal-form or not. If some term has a b-normal-form, then show (write) the b-normal -form. (1) (?x.x)(?x.yx)z
Determine for every ?-term whether it has a b-normal-form or not. If some term has a b-normal-form, then show (write) the b-normal-form.
(1) (?x.x)(?x.yx)z
(2) (?x.y)?
(3) ?(?x.x)
(4) ?(?x.y)
(5) ?(?x.y ?)
(6) ?(?x.K I ?)
Please help me ... Lambda calculus is really hard..
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started
Graph Databases New Opportunities For Connected Data
Authors: Ian Robinson, Jim Webber, Emil Eifrem
2nd Edition
1491930896, 978-1491930892
