closure-properties पर टैग किए गए जवाब

संदर्भ-मुक्त भाषाएं पूरक के तहत बंद नहीं हैं, हम जानते हैं कि। जहां तक मैं समझता हूँ, विषय से मुक्त करने वाली भाषाएं का एक सबसेट है a∗b∗a∗b∗a^*b^* कुछ पत्र के लिए a,ba,ba,b पूरक के तहत बंद हो जाती हैं (!?) यहाँ मेरा तर्क है। प्रत्येक सीएफ भाषा LLL एक …

20 formal-languages  reference-request  context-free  closure-properties 

इस का एक अनुवर्ती सवाल यह है कि इस एक । विदेशी राज्य मशीनों के बारे में पिछले प्रश्न में , एलेक्स दस ब्रिंक और राफेल ने एक अजीब तरह की राज्य मशीन की कम्प्यूटेशनल क्षमताओं को संबोधित किया: मिन-हीप ऑटोमेटा। वे यह दिखाने में सक्षम थे कि इस तरह …

16 formal-languages  automata  closure-properties 

आज्ञा देना GGG एक संदर्भ मुक्त व्याकरण है। टर्मिनल और की nonterminals की एक स्ट्रिंग GGG एक होना कहा जाता है sentential रूप से GGG अगर आप इसे का निर्माण लगाने से प्राप्त कर सकते हैं GGG की शुरुआत प्रतीक को शून्य या अधिक बार SSS । चलो SF(G)SF⁡(G)\operatorname{SF}(G) के …

14 formal-languages  context-free  formal-grammars  closure-properties 

मैं निम्नलिखित के साथ वास्तव में आपकी मदद करना पसंद करूंगा: के लिए किसी भी तय मैं जरूरत तय करने के लिए निम्नलिखित ऑपरेटरों के तहत बंद है या नहीं:एल2L2L_2 एआर( एल ) = { x | ∃ y∈ ल2: x य∈ L }Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : …

13 formal-languages  regular-languages  closure-properties 

से अधिक वर्णमाला एक नियमित रूप से भाषा है Σ = { एक , ख } । के बाईं भागफल एल के बारे में डब्ल्यू ∈ Σ * भाषा है डब्ल्यू - 1 एल : = { v | डब्ल्यू वी ∈ एल }एलLLΣ = { एक , ख }Σ={a,b}\Sigma …

13 formal-languages  regular-languages  closure-properties 

मैं उस सवाल पर आया हूं: "दो नियमित भाषाओं के उदाहरण दें जो उनका संघ एक नियमित भाषा का उत्पादन नहीं करता है।" यह मेरे लिए काफी चौंकाने वाला है क्योंकि मेरा मानना ​​है कि नियमित भाषाएं संघ के तहत बंद हैं। मेरे लिए इसका मतलब यह है कि अगर …

12 formal-languages  regular-languages  closure-properties 

यदि नियमित है, तो क्या यह पालन किया जाता है कि नियमित है?A2A2A^2AAA एक प्रमाण पर मेरा प्रयास: हाँ, विरोधाभास के लिए मान लें कि AAA नियमित नहीं है। फिर A2=A⋅AA2=A⋅AA^2 = A \cdot A । चूंकि दो गैर-नियमित भाषा का संघटन नियमित नहीं है इसलिए A2A2A^2 नियमित नहीं हो …

12 formal-languages  regular-languages  closure-properties 

क्या ऐसी असंदिग्ध भाषाएँ मौजूद हैं जैसे कि उनका मिलन / अंतरजाल / सुरीली भाषा निर्णायक है? इस तरह के उदाहरण की भौतिक व्याख्या क्या है क्योंकि सामान्य तौर पर, इन कार्यों के तहत अयोग्य भाषाएं बंद नहीं होती हैं? क्लेन बंद होने के बारे में हम क्या कह सकते …

12 formal-languages  undecidability  closure-properties 

मैं यह साबित करना चाहता हूं कि का पूरक क्लोजर गुणों का उपयोग करके नियमित नहीं है।{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} मैं समझता हूं कि पम्पिंग लेम्मा का उपयोग यह साबित करने के लिए किया जा सकता है कि एक नियमित भाषा नहीं है। मैं यह भी समझता हूं कि …

12 formal-languages  regular-languages  closure-properties 

किसी भाषा की चक्रीय पारी (जिसे घूर्णन या संयुग्मन भी कहा जाता है ) को में रूप में परिभाषित किया गया है । विकिपीडिया (और यहां ) के अनुसार ओशिबा और मास्लोव के पत्रों के संदर्भ में, इस ऑपरेशन के तहत संदर्भ-मुक्त भाषाएं बंद हैं। क्या इस तथ्य का एक …

11 formal-languages  context-free  closure-properties 

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

11 formal-languages  context-free  closure-properties 

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

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

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

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

मैं अगले अभ्यास को हल कर रहा हूँ: तर्क दें कि यदि संदर्भ-मुक्त है और नियमित है, तो (यानी सही भागफल ) संदर्भ-मुक्त है।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