यह सर्वविदित है कि समतुल्यता समस्या सामान्य संदर्भ-मुक्त भाषाओं के लिए अनिर्दिष्ट है। हालांकि, इस तथ्य के सभी प्रमाण हैं कि मुझे कुछ अस्पष्ट संदर्भ-मुक्त व्याकरणों को शामिल करने के बारे में पता है। इस कारण से, मैं यह पूछना चाहता हूं कि क्या यह ज्ञात है कि क्या समस्या को अनिर्दिष्ट संदर्भ-मुक्त भाषाओं के लिए प्रतिबंधित करते समय अनिर्णायक है । अर्थात्, दो संदर्भ-मुक्त व्याकरण दिए गए हैं जो एक प्राथमिकताओं को असंदिग्ध रूप से दिए गए हैं, क्या यह निर्णायक है कि वे समकक्ष हैं या नहीं?
मुझे यह समस्या थोड़ी पेचीदा लगती है , क्योंकि यह ज्ञात है कि समकालिकता निर्धारक संदर्भ-मुक्त भाषाओं के लिए निर्णायक है , हालांकि यह परिणाम तुच्छता से बहुत दूर है ... दूसरी ओर, अनिर्वायता के लिए कुछ सरल कारण हो सकते हैं जो मैं कर रहा हूं। देख सकते हैं।
3
समावेशन अपरिहार्य है
—
पीटर
@PeterLeupold हाँ, लेकिन समावेशन नियतात्मक संदर्भ-मुक्त भाषाओं के लिए भी अनिर्दिष्ट है, इसलिए यह काफी सीधा है (आप जिस लेख को लिंक करते हैं वह इस तथ्य का उपयोग किए बिना केवल एक प्रमाण देता है)। हालाँकि, तुल्यता अधिक दिलचस्प लगती है, क्योंकि यह नियतात्मक संदर्भ-मुक्त भाषाओं के लिए निर्णायक है और सामान्य संदर्भ-मुक्त भाषाओं के लिए
—
अनिर्दिष्ट है
फिर भी, मुझे संदेह है कि यह समस्या खुली हो सकती है: निर्णायक क्षमता का एक प्रमाण शायद ही ज्ञात हो, क्योंकि नियतात्मक सीएफएल के लिए एक काफी जटिल है; दूसरी ओर, अनिर्वचनीयता गैर-परिवर्तनीय चर में सेल्जेबिक श्रृंखला के तुलनीयता की अनिर्वायता होगी , जो कि अगर मैंने सब कुछ ठीक से समझा, तो यह एक खुली समस्या होनी चाहिए।
—
जोरा सिमरन