मैं सबसे छोटे संभव सार्वभौमिक कॉम्बिनेटर की तलाश कर रहा हूं , जो लैम्बडा कैलकुलस में ऐसे कॉम्बिनेटर को निर्दिष्ट करने के लिए आवश्यक अमूर्त और अनुप्रयोगों की संख्या से मापा जाता है । यूनिवर्सल कॉम्बिनेटर के उदाहरणों में शामिल हैं:
- आकार 23: λf.f (fS (KKKI)) के
- आकार 18: λf.f (fS (KK)) के
- आकार 14: λf.fKSK
- आकार 12: λf.fS (λxyz.x)
- आकार 11: λf.fSK
जहां S = λxyz.xz (yz) का आकार 6 और K = λxy.x का आकार 2 , एसके कॉम्बिनेटर कैलकुलस के कॉम्बीनेटर हैं । इस पेपर में पहले 4 उदाहरणों का वर्णन किया गया है ।
मेरे प्रश्न हैं:
- क्या कोई सार्वभौमिक कॉम्बिनेटर हैं जो आकार में छोटे हैं?
- सबसे छोटा संभव सार्वभौमिक कॉम्बिनेटर क्या है?
EDIT: /math//a/180263/76284 भी देखें , जो λazbc.bc(a(λy.c))
( आकार 8 का होगा , जो SK आधार के आकार के योग से मेल खाता है)। क्या कोई जानता है कि इस कॉम्बिनेटर से एस और के को कैसे व्यक्त किया जाए।
λx*.E
जहाँ E
अमूर्तता है?