निम्नलिखित समस्या निर्णायक है:
एक संदर्भ-मुक्त व्याकरण को देखते हुए , ?
निम्नलिखित समस्या अनिर्दिष्ट है:
एक संदर्भ-मुक्त व्याकरण को देखते हुए , ?
वहाँ के विषय से मुक्त भाषाओं एक लक्षण वर्णन है डिसाइडेबल समानता के साथ ?
निम्नलिखित समस्या निर्णायक है:
एक संदर्भ-मुक्त व्याकरण को देखते हुए , ?
निम्नलिखित समस्या अनिर्दिष्ट है:
एक संदर्भ-मुक्त व्याकरण को देखते हुए , ?
वहाँ के विषय से मुक्त भाषाओं एक लक्षण वर्णन है डिसाइडेबल समानता के साथ ?
जवाबों:
मुझे यकीन नहीं है कि समतुल्यता के लिए कोई सामान्य लक्षण वर्णन है, लेकिन होपक्रॉफ्ट और हंट और रोसेनक्रान्ट्री द्वारा निम्नलिखित पत्र। एक अच्छी शुरुआत हो सकती है:
विशेष रूप से Hopcroft शो है कि, अगर नियमित है, तो एल ( जी ) = एम iff डिसाइडेबल है एम घिरा है, यानी वहाँ मौजूद n शब्द डब्ल्यू 1 , डब्ल्यू 2 , ... , डब्ल्यू एन सेंट एम ⊆ डब्ल्यू * 1 डब्ल्यू * 2 ⋯ डब्ल्यू ∗ एन ।
एक पुराना धागा लाने के लिए क्षमा करें। लेकिन यहां कुछ ऐसा है जो प्रासंगिक हो सकता है।
बता दें कि pCFL, परमिशन -क्लोज्ड सीएफएल का वर्ग है। PCFL के लिए समानता की समस्या विकट है।
यह देखते हुए में Σ = , चलो डब्ल्यू एल = { ⟨ # एक 1 ( डब्ल्यू ) , ... , # एक n ( डब्ल्यू ) ⟩ | डब्ल्यू ∈ एल } । पारिख की प्रमेय के अनुसार, W L ,जब भी L संदर्भ-मुक्त है,तो अर्धविराम होताहै।
अब, अगर में है pCFL , हमारे पास है कि डब्ल्यू ∈ एल iff ⟨ # एक 1 । इस प्रकार,पी 1 एफएलमें एल 1 , एल 2 के लिए , एल 1 = एल 2 आईएफएफ डब्ल्यू एल 1 = डब्ल्यू एल 2 । लेकिन सेमिनलियर सेट की समानता निर्णायक है; देख:
यह एक प्रश्न उठाता है, जिसका उत्तर मैं जानना चाहता हूं: क्या यह निर्णायक है कि क्या किसी संदर्भ-मुक्त भाषा को अनुमति-बंद किया गया है?