combinatory-logic पर टैग किए गए जवाब

कॉम्बिनेटर के आवेदन और शब्द-पुनर्लेखन के माध्यम से परिभाषित तार्किक प्रणालियों के बारे में प्रश्नों के लिए। इन प्रणालियों में अक्सर लैंबडा कैलकुलस से गहरा संबंध होता है।

2
वाई कॉम्बिनेटर "लैम्ब्डा पथरी असंगति" को कैसे स्वीकार करता है?
फिक्स्ड प्वाइंट कॉम्बिनेटरों के लिए विकिपीडिया पृष्ठ पर बल्कि रहस्यमय पाठ लिखा जाता है वाई कॉम्बिनेटर एक उदाहरण है जो लैम्बडा कैलकुलस को असंगत बनाता है। इसलिए इसे संदेह के साथ माना जाना चाहिए। हालाँकि, केवल तर्कपूर्ण तर्क में परिभाषित किए जाने पर वाई कॉम्बिनेटर पर विचार करना सुरक्षित है। …

4
फिक्स्ड-पॉइंट कॉम्बिनेटर (वाई कॉम्बिनेटर) की स्पष्ट, सहज व्युत्पत्ति?
फिक्स्ड-पॉइंट कॉम्बीनेटर FIX (उर्फ वाई कॉम्बीनेटर) में (अप्रकाशित) लैम्ब्डा कैलकुलस ( ) को इस प्रकार परिभाषित किया गया है:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) मैं इसका उद्देश्य समझता हूं और …

1
क्या टाइप एसकेआई पथरी है?
हम में से अधिकांश लोग कॉम्बिनेटर लॉजिक और लैम्ब्डा कैलकुलस के बीच पत्राचार को जानते हैं । लेकिन मैंने कभी नहीं देखा (शायद मैंने बहुत गहरा नहीं देखा है) "टाइप किए गए कॉम्बिनेटर" के बराबर, बस टाइप किए गए लैम्ब्डा कैलकुलस के अनुरूप। क्या ऐसी चीज मौजूद है? इसके बारे …

2
कॉम्बिनेटर पथरी के लिए बेसिस सेट
यह सर्वविदित है कि एस और के कॉम्बिनेटर कॉम्बिनेटर कैलकुलस के लिए एक आधार सेट बनाते हैं, इस अर्थ में कि अन्य सभी कॉम्बिनेटरों को उनके संदर्भ में व्यक्त किया जा सकता है। करी का बी, सी, के, डब्ल्यू आधार भी है, जिसकी समान संपत्ति है। इस तरह के ठिकानों …

2
क्या वाई कॉम्बिनेटर करी-हावर्ड पत्राचार का खंडन करता है?
Y कॉम्बिनेटर का प्रकार । करी-हावर्ड कॉरेस्पोंडेंस द्वारा, क्योंकि टाइप निवास है, यह एक सच्चे प्रमेय के अनुरूप होना चाहिए। हालाँकि, हमेशा सत्य होता है, इसलिए ऐसा प्रतीत होता है जैसे Y combinator का प्रकार प्रमेय मेल खाता , जो हमेशा सत्य नहीं होता है। यह कैसे हो सकता है?( …

1
कॉम्बिनेटर पथरी के भावों की गणना कौन से कार्य कर सकते हैं?
एक कॉम्बिनेटर अभिव्यक्ति (एसके आधार में बताएं) को एक फ़ंक्शन के रूप में माना जा सकता है जो कॉम्बीनेटर कैलकुलस एक्सप्रेशंस को कॉम्बीनेटर कैलकुलस एक्सप्रेशन में मैप करता है। यह है कि, एक एक अभिव्यक्ति के बारे में सोच सकते हैं एक समारोह के रूप एक्स : एल → एल …

2
क्या SK2 कैलकुलस एक पूर्ण आधार है, जहां K2 फ़्लिप K कॉम्बीनेटर है?
विशेष रूप से, यदि मैंने एक नया K2K2K_2 को K2=λx.(λy.y)K2=λx.(λy.y)K_2 = \lambda x. (\lambda y. y) रूप में परिभाषित किया है । ( Λ y । Y ) के बजाय K=λx.(λy.x)K=λx.(λy.x)K = \lambda x. (\lambda y. x) हैं {S,K2,I}{S,K2,I}\{S, K_2,I\} -calculus एक प्रतिस्पर्धा आधार हो सकता है? मेरा अनुमान है …

2
लैम्ब्डा कैलकुलस की संयुक्त व्याख्या
पीटर सेलिंगर के अनुसार , लैंबडा कैलकुलस अलजेब्रासिक (पीडीएफ) है। इस लेख में वह कहता है: लैम्ब्डा कैलकुलस की संयुक्त व्याख्या को अपूर्ण माना जाता है, क्योंकि यह -rule को संतुष्ट नहीं करता है : व्याख्या के तहत, अर्थ (Barendregt, 1984) नहीं है।ξξξM=NM=NM = Nλx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N प्रशन: …

1
सपाट भावों के लिए सरलतम पूर्ण संयोजन आधार जोड़ी
क्रिस ओकासाकी के पेपर "फ्लैटनिंग कॉम्बिनेटर: सर्वाइविंग विदआउट पेरेंटेस " में उन्होंने दिखाया कि दो कॉम्बिनेटर एक एप्लीकेशन ऑपरेटर या कोष्ठक की आवश्यकता के बिना ट्यूरिंग-पूर्ण अभिव्यक्ति को एन्कोड करने के लिए पर्याप्त और आवश्यक दोनों हैं। एक आवेदन ऑपरेटर के साथ उपसर्ग कोडिंग एस और के कॉम्बिनेटर के माध्यम …

1
दहनशील तर्क शब्द हमेशा बड़े होते हैं?
तो एसके कॉम्बिनेटर का उपयोग करके लैंबडा कैलकुलस शब्द को कॉम्बिनेटर लॉजिक में बदलने के लिए एक एल्गोरिदम है। यह उन चीजों का उत्पादन करता है जो आकार में विस्फोट करते हैं। मैं आकार में इस विस्फोट के बारे में अधिक जानना चाहूंगा। मैं हालांकि एक बेहतर एल्गोरिथ्म के बारे …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.