context-free पर टैग किए गए जवाब

मेरी निम्न भाषा है {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} मैं यह निर्धारित करने की कोशिश कर रहा हूं कि यह किस चॉम्स्की भाषा वर्ग में फिट बैठता है। मैं देख सकता हूं कि इसे एक संदर्भ-संवेदनशील व्याकरण का उपयोग करके कैसे बनाया जा …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

चलो , , , विषय से मुक्त भाषाओं के एक फाई में nite अनुक्रम, डी फाई एक आम वर्णमाला से अधिक नेड है, जिनमें से प्रत्येक होना । चलो के फाई में nite संघ हो , , , ; यानी, ।एल 2 एल 3 ... Σ एल एल 1 एल …

11 formal-languages  context-free  closure-properties 

नियमित भाषाओं के लिए पंपिंग लेम्मा का उपयोग यह साबित करने के लिए किया जा सकता है कि कुछ भाषाएं नियमित नहीं हैं, और संदर्भ-रहित भाषाओं (ओग्डेन के लेम्मा के साथ) के लिए पंपिंग लेम्मा का उपयोग यह साबित करने के लिए किया जा सकता है कि कुछ भाषाएं संदर्भ-मुक्त …

11 context-free  proof-techniques  pumping-lemma 

मुझे यह जानने की जरूरत है कि सीएफएल किस वर्ग के तहत बंद है यानी सीएफएल का पूरक क्या है। मुझे पता है कि सीएफएल पूरक के तहत बंद नहीं है, और मुझे पता है कि पी पूरक के तहत बंद है। चूंकि सी.एफ.एल.⊊⊊\subsetneqपीआई कह सकता है कि सीएफएल का …

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

मैं एक पाठ्यपुस्तक में एक कठिन अभ्यास के माध्यम से काम कर रहा हूं, और मैं अभी समझ नहीं पा रहा हूं कि कैसे आगे बढ़ना है। यहाँ समस्या है। मान लीजिए कि हमें भाषा है एल = { एक मैं ख j : मैं ≤ जे γ , मैं …

10 formal-languages  automata  context-free 

फजी पार्सिंग करने के लिए एक तरीका है (एक निश्चित संपादित दूरी के लिए टाइपो के साथ भी तार को स्वीकार करता है), एक डीएफए और इनपुट शब्द के रनवे लेवांशिन ऑटोमेटा के साथ। क्या एली पार्सर के साथ भी कुछ ऐसा ही किया जा सकता है? मुझे एल्गोरिथ्म को …

10 algorithms  context-free  finite-automata  parsers  string-metrics 

एलआर (0) पार्सर में, प्रत्येक राज्य में एलआर (0) आइटम का संग्रह होता है, जो एक स्थिति के साथ एनोटेट किए जाते हैं। एलआर (1) पार्सर में, प्रत्येक राज्य में एलआर (1) आइटम का एक संग्रह होता है, जो एक स्थिति और एक लुकहेड चरित्र के साथ एनोटेट किया जाता …

10 context-free  parsers  lr-k 

कर सकते हैं किसी को समझाने के लिए मुझे क्यों कि उलटे पांव लौटने के साथ एक पुनरावर्ती वंश पार्सर की कोशिश करता है प्रस्तुतियों और एस → एक एक (इसी क्रम में) व्याकरण द्वारा गठित भाषा को मान्यता नहीं देता एस → एक एस एक | एक एक ।S→aSaS→aSaS …

10 context-free  formal-grammars  compilers  parsers 

नियमित अभिव्यक्तियों को देखने का एक तरीका निम्नलिखित तथ्य के रचनात्मक प्रमाण के रूप में है: भाषाओं के एक छोटे से सेट के साथ शुरू करके और उन्हें एक छोटे, निश्चित क्लोजर गुणों के सेट के माध्यम से जोड़कर नियमित भाषाओं का निर्माण करना संभव है। विशेष रूप से, यदि …

10 formal-languages  context-free  closure-properties  regular-expressions 

मैं हाल ही में एक पेपर में आया हूं जो शीर्षक में वर्णित पार्सिंग तकनीक का वर्णन करता है। दुर्भाग्य से, उक्त कागज में प्रयुक्त शब्दावली कुछ हद तक मेरी समझ से परे है, इसलिए मैं निर्माण एल्गोरिथम को अधिक सहजता से समझने का प्रयास कर रहा हूं। मेरा मानना …

10 algorithms  formal-grammars  context-free  parsing 

चलो टर्मिनल और के सेट हो एन कुछ विषय से मुक्त व्याकरण की गैर टर्मिनल प्रतीकों में से सेट जी ।ΣΣ\SigmaNNNGGG मैं एक स्ट्रिंग है कहते हैं ऐसी है कि एक्स एक y ∈ एस ( जी ) जहां एक्स , वाई ∈ ( Σ ∪ एन ) * और …

10 algorithms  context-free  formal-grammars  compilers 

लिखें का दशमलव विस्तार के लिए (कोई प्रमुख के साथ )। चलो और पूर्णांकों, साथ होना । अधिक के गुणकों के दशमलव विस्तार की भाषा पर विचार करें :B एनn¯\bar n एनnn0एaaबीbbए>0a>0a > 0एaa म = { ¯ एएक्स + ख |एक्स∈एन}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} क्या नियमित …

10 formal-languages  context-free  regular-languages  integers 

क्यों (अगर ऐसा है) ##\# दोनों भाषाओं के बीच अंतर कर रहा है? मान लीजिए: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#= { w # s : | w | = | s |डब्ल्यू , एस ∈ { 0 , 1}*, w ≠ s }L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, …

9 formal-languages  context-free  pumping-lemma 

निम्नलिखित विषय से मुक्त व्याकरण प्रस्तुत एक "और झूलते" प्रकार अस्पष्टता (कल्पना करो कि के लिए खड़ा है और के लिए खड़ा है और अनुदेश या ब्लॉक के कुछ अन्य प्रकार के लिए खड़ा है): उदाहरण के लिए, को या रूप में पार्स किया जा सकता है (यह इस व्याकरण …

9 context-free  formal-grammars  parsers  ambiguity 

मैं हाल ही में सोच रहा था कि क्या होगा यदि हम संदर्भ-मुक्त व्याकरणों को अनंत नियमों की संख्या की अनुमति देंगे। जाहिर है, अगर हम नियमों के ऐसे अनंत सेटों की अनुमति देंगे, तो हर भाषाएलLL कुछ वर्णमाला के ऊपर ΣΣ\Sigma एक CFG द्वारा वर्णित किया जा सकता है …

9 formal-languages  context-free  formal-grammars