क्या आधुनिक प्रोग्रामिंग भाषाओं के व्याकरण संदर्भ-मुक्त या संदर्भ-संवेदनशील हैं?

Question

क्या सी ++, सी # या जावा भाषा संदर्भ-मुक्त या संदर्भ-संवेदनशील हैं?

Answer 1

सी ++ न तो संदर्भ मुक्त है और न ही संदर्भ-संवेदनशील है, template system is Turing-complete के बाद से और यह निर्धारित करना कि सी ++ कोड का एक टुकड़ा कानूनी सी ++ अनिवार्य रूप से कठिन है या नहीं। उदाहरण के लिए, मैं एक टेम्पलेट क्लास को परिभाषित कर सकता हूं जो एक स्ट्रिंग पर एक टीएम अनुकरण करता है और फिर यदि मशीन स्वीकार करता है और 0 नहीं करता है तो मान 1 के साथ स्थिर बनाता है। अगर मैं ऐसा ही किया, उसके बाद निम्न कोड कानूनी होगा iff टीएम दिए गए इनपुट पर रोका:

int myArray[TMTemplate</* ... args ... */>::value]; 

के बाद से यदि टीएम को खारिज कर दिया, इस आकार 0 की एक सरणी, जिसकी अनुमति नहीं है बनाता है।

न तो सी # और न ही जावा संदर्भ-मुक्त है, क्योंकि यह जांच कर रहा है कि किसी चर के दौरान एक चर का सही ढंग से और लगातार उपयोग किया जाता है, यह संदर्भ-मुक्त नहीं है (सबूत जटिल है और Ogden's lemma पर निर्भर करता है)। हालांकि, मुझे यकीन नहीं है कि वे संदर्भ-संवेदनशील हैं या नहीं।

आशा है कि यह आपके प्रश्नों का आंशिक उत्तर देगा!