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

एक पहचानकर्ता के रूप में इयरली वेक्टर का उपयोग करना काफी सरल है: जब स्ट्रिंग का अंत हो जाता है, तो आपको स्थिति में शुरू किए गए एक पूर्ण स्वयंसिद्ध उत्पादन की जांच करनी होगी। 0. यदि आपके पास कम से कम एक है, तो स्ट्रिंग को स्वीकार किया जाता …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

क्या किसी भी संदर्भ मुक्त व्याकरण को नीचे धकेलने वाले ऑटोमेटा में बदलने के लिए नियमों या विधियों का कोई सेट है? मुझे पहले से ही कुछ स्लाइड्स ऑनलाइन मिलीं लेकिन मैं उन्हें समझ नहीं पाया । स्लाइड 10 में वह कुछ नियमों के बारे में बोलता है जो कोई …

9 context-free  formal-grammars  pushdown-automata  simulation 

कॉलेज में हम सामान्य रूप से कम्प्यूटिंग और ट्यूरिंग मशीनों के सिद्धांत के बारे में सीख रहे हैं। महान सैद्धांतिक परिणामों में से एक यह है कि संभावित रूप से बड़े वर्णमाला (प्रतीकों) की कीमत पर, आप राज्यों की संख्या केवल 2 तक कम कर सकते हैं। मैं अलग-अलग ट्यूरिंग …

9 turing-machines  context-free  parsers 

मुझे इस समस्या का सामना करना पड़ा जिसमें संदर्भ-मुक्त भाषा में हेरफेर करना शामिल था। चलो एक विषय से मुक्त भाषा हो। हर लिए परिभाषित करें । क्या हमेशा संदर्भ-मुक्त है? मेरा अनुमान है कि यह संदर्भ-क्षेत्ररक्षण को संरक्षित करेगा। क्या कोई इसका प्राथमिक प्रमाण दे सकता है?एलLLएल#= { x …

9 formal-languages  context-free 

थियोडोर नॉरवेल (1999) द्वारा पुनरावर्ती वंश द्वारा पार्सिंग एक्सप्रेशंस लेख में लेखक अंकगणितीय अभिव्यक्तियों के लिए निम्नलिखित व्याकरण के साथ शुरू होता है: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E …

9 formal-languages  context-free  formal-grammars  left-recursion 

मैं निम्नलिखित समस्या के साथ आपकी मदद का उपयोग करना चाहूंगा: L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} । दिखाएँ कि ।L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE मुझे पता है कि को साबित करने के लिए , यह एक भाषा को खोजने के लिए पर्याप्त है, जैसे …

9 formal-languages  computability  context-free  turing-machines 

मैं अगले अभ्यास को हल कर रहा हूँ: तर्क दें कि यदि संदर्भ-मुक्त है और नियमित है, तो (यानी सही भागफल ) संदर्भ-मुक्त है।LLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} मुझे पता है कि एक पीडीए मौजूद होना चाहिए जो स्वीकार करता …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata