क्या LINQ अभिव्यक्ति पेड़ ट्यूरिंग पूर्ण हैं?

Question

जैसा कि वे नेट 3.5 में हैं। मुझे पता है कि वे 4.0 में हैं, जैसा कि डीएलआर काम करता है, लेकिन मुझे अब हमारे संस्करण में रूचि है।

Answer 1

LINQ अभिव्यक्ति पेड़ सामान्य सी # अभिव्यक्ति में रखे गए किसी भी चीज का प्रतिनिधित्व कर सकते हैं। इस प्रकार, वे सीधे while छोरों, for छोरों, आदि

हालांकि, यह लैम्ब्डा अभिव्यक्ति और प्रत्यावर्तन उपयोग करने के लिए किसी भी यात्रा आप की आवश्यकता हो सकती बाहर ले जाने के सैद्धांतिक रूप से संभव है प्रतिनिधित्व करने के लिए इस्तेमाल नहीं किया जा सकता है। अभ्यास में Enumerable विधियों को अपने पेड़ में छोड़ना आसान हो सकता है।

Answer 2

पेड़ को निष्पादित करने वाली चीज़ को परिभाषित किए बिना, हम नहीं जानते। सीएलआर की अपनी व्याख्या में (जब आप उन्हें प्रतिनिधियों में संकलित करते हैं) वे हैं। लेकिन यदि आप उन्हें एसक्यूएल में अनुवाद करते हैं, तो वे नहीं हैं, और आप अपनी पसंद की किसी भी संपत्ति के साथ अपनी भ्रमित व्याख्या का आविष्कार कर सकते हैं।

जब तक कि आपने तय नहीं किया है कि उन्हें कैसे समझें, वे केवल डेटा संरचनाएं हैं।

Answer 3

ठीक है, आप इसे साबित करने की कोशिश क्यों नहीं करते? मुझे यकीन है कि यह एक मजेदार चुनौती है;)

लेकिन अभिव्यक्ति पेड़ केवल एक अभिव्यक्ति का प्रतिनिधित्व करते हैं और इस तरह आपको इसे परिभाषित करना होगा कि आपको क्या करना है, जैसा कि ईरविकियर ने कहा था।

यदि आप अभिव्यक्ति पेड़ों को रिकर्सन का उपयोग करने की अनुमति देते हैं तो आप लूप और ऐसे के लिए पुनरावृत्ति प्राप्त कर सकते हैं।

हालांकि, untyped lambda कैलकुलेशन ट्यूरिंग-पूर्ण Turing_completeness # उदाहरण हैं, लेकिन लैम्ब्डा कैलकुलेशन प्रति लैम्बडा_calculus प्रति रिकर्सन की अनुमति नहीं देता है # रिकर्सन यह सब बहुत पागल है।

मैं निष्कर्ष निकालूंगा कि अभिव्यक्ति शायद पूर्ण हो रही है लेकिन इसे किसी ऐसे व्यक्ति की आवश्यकता होगी जो इसकी पुष्टि करने के लिए अधिक परिचित है।

Answer 4

सी # 3.0 कल्पना अभिव्यक्ति पेड़ों पर खंड के मार्जिन कि कहा में एक टिप्पणी थी के प्रारंभिक मसौदे में:

मैं ट्यूरिंग-पूर्णता की सही मायने में अद्भुत सबूत जो इस मार्जिन भी है शामिल करने के लिए संकीर्ण।

अफसोस की बात है कि कोई भी यह जानने में सक्षम नहीं है कि इसे किसने लिखा है या सबूत विकसित किया है।