Busy Beaver for SKI calculus
Jump to navigation
Jump to search
Busy Beaver for SKI calculus (we will call it BBSKI for now) is a variation of the Busy Beaver problem for lambda calculus.
Champions
| n | Value | Champion | Discoverered by |
|---|---|---|---|
| 1 | = 1 | S | ? |
| 2 | = 2 | SS | ? |
| 3 | = 3 | SSS | ? |
| 4 | = 4 | SSSS | ? |
| 5 | = 6 | SSS(SS) | ? |
| 6 | = 17 | SSS(SI)S | ? |
| 7 | ? | ? | ? |
| 8 | ? | ? | ? |
| 9 | >= 519 | SSI((S(SS)S)S)K | ? |
| 10 | >= 1041 | SSI((S(SS)S)S)KS | ? |