All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars    
perplexus dot info

Home > Logic
Combinatory logic (Posted on 2017-06-24) Difficulty: 3 of 5
A combinator is a function that inputs a combinator and outputs another combinator. The combinator xy is the output of x with input y. There are many combinators. Each combinator has a formula for its output in terms of its input. For example, the identity combinator I always outputs the input. The formula for the identity combinator is Ix=x.

Two useful combinators are S and K. They have the following formulas.
((Sx)y)z=(xz)(yz)
(Kx)y=x

1. Derive I from S and K.
2. Derive B from S and K such that ((Bx)y)z=x(yz) for all x, y, and z.
3. Derive C from S and K such that ((Cx)y)z=(xz)y for all x, y, and z.
4. Prove that all combinators can be derived from S and K.

No Solution Yet Submitted by Math Man    
No Rating

Comments: ( You must be logged in to post comments.)
  Subject Author Date
There are no comments yet.
Please log in:
Login:
Password:
Remember me:
Sign up! | Forgot password


Search:
Search body:
Forums (0)
Newest Problems
Random Problem
FAQ | About This Site
Site Statistics
New Comments (5)
Unsolved Problems
Top Rated Problems
This month's top
Most Commented On

Chatterbox:
Copyright © 2002 - 2017 by Animus Pactum Consulting. All rights reserved. Privacy Information