विशेष रूप से, यदि मैंने एक नया को
मेरा अनुमान है "नहीं," सिर्फ इसलिए कि मैं , , और कॉम्बिनेटरों से नियमित के कॉम्बिनेटर का निर्माण करने में सक्षम नहीं हो सकता , लेकिन मेरे पास पालन करने के लिए एक एल्गोरिथ्म नहीं है, और न ही मेरे पास अच्छा है इन संयोजनकर्ताओं से चीजों को बनाने के बारे में अंतर्ज्ञान।
ऐसा लगता है कि आप को परिभाषित कर सकते लगता है
एक प्रमाण पर मेरा प्रयास यह है कि यह कार्यात्मक रूप से अनिवार्य रूप से पूरा नहीं किया गया था ताकि इन दहनकारों से प्राप्त होने वाले प्रत्येक कार्य को पूरी तरह से करने का प्रयास किया जा सके ताकि आप एक मृत अंत तक पहुंच सकें (एक ऐसा कार्य जिसे आपने पहले देखा है) कोई फर्क नहीं पड़ता कि आप किस संयोजन का उपयोग करते हैं। मुझे लगता है कि यह जरूरी combinators के कार्यात्मक अधूरा सेट का सच होने जा रहा नहीं है (उदाहरण के लिए का अपना इच्छा कभी नहीं मृत अंत पर Combinator जब खुद के लिए आवेदन किया), लेकिन यह मेरे सबसे अच्छे सोचा था। मैं हमेशा कॉम्बीनेटर का उपयोग करने में सक्षम था जो मुझे लगा कि आखिरकार एक मृत अंत था, इसलिए मैं अब इस दृष्टिकोण की व्यवहार्यता के बारे में सुनिश्चित नहीं हूं।
मैंने स्टैकऑवरफ्लो पर यह सवाल पूछा, लेकिन इसे यहां पोस्ट करने के लिए प्रोत्साहित किया गया। मुझे उस पोस्ट पर कुछ टिप्पणियां मिलीं, लेकिन मुझे यकीन नहीं है कि मैंने उन्हें सही समझा।
बोनस: यदि यह पूर्ण आधार नहीं है, तो परिणामी भाषा गैर-ट्यूरिंग-पूर्ण है?