formal-languages पर टैग किए गए जवाब

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

9 formal-languages  context-free 

मैंने कुछ सप्ताह पहले अपने अभिकलन परीक्षा के सिद्धांत को लिया, और यह एक प्रश्न था: भाषा मान लेते हैं L={(anbm)r∣n,m,r≥0}L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} क्या एल नियमित है? यदि हाँ इसके लिए एक नियमित अभिव्यक्ति या एक ऑटोमेटन प्रदान करें। जब मैंने परीक्षा के बाद उन्हें संक्षेप में उत्तर दिया, …

9 formal-languages  regular-languages  regular-expressions 

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

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

एक भाषा को देखते हुए , मैं सीधे कैसे कह सकता हूं, बिना उत्पादन नियमों को देखे, कि यह भाषा नियमित नहीं है?L={anbncn}L={anbncn} L= \{a^n b^n c^n\} मैं पम्पिंग लेम्मा का उपयोग कर सकता था लेकिन कुछ लोग व्याकरण को देखते हुए कह रहे हैं कि यह नियमित नहीं है। …

9 formal-languages  regular-languages  pumping-lemma  intuition 

मैं निम्नलिखित समस्या के साथ आपकी मदद का उपयोग करना चाहूंगा: 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 

मैंने हॉपक्रॉफ्ट और उल्मैन की पुस्तक का उपयोग करके गैर निर्धारक ऑटोमेटा का अध्ययन करना शुरू कर दिया है । मैं एक समस्या में फंस गया हूँ जो मुझे बहुत दिलचस्प लगी: एक गैर नियतात्मक परिमित ऑटोमोटन को सभी स्ट्रिंग्स को स्वीकार करते हुए मान लें जो निम्न तालिका के …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism