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

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

12 formal-languages  regular-languages  closure-properties 

यहाँ समस्या है: सिद्ध करें कि एकल-टेप ट्यूरिंग मशीनें जो टेप के भाग पर नहीं लिख सकती हैं उनमें इनपुट स्ट्रिंग शामिल हैं जो केवल नियमित भाषाओं को पहचानती हैं। मेरा विचार यह साबित करना है कि यह विशेष TM एक DFA के बराबर है। DFA का अनुकरण करने के …

12 formal-languages  computability  regular-languages  turing-machines  automata 

कहो, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* । फिर हम कि कैसे साबित कर सकते हैं L∗L∗L^* नियमित रूप से है? यदि LLL नियमित है, तो निश्चित रूप से L∗L∗L^* भी नियमित रूप से है। यदि LLL परिमित है, तो यह नियमित रूप से और फिर से है L∗L∗L^* नियमित रूप से है। …

12 formal-languages  regular-languages 

मैं समझता हूं कि संदर्भ-मुक्त व्याकरण का उपयोग संदर्भ-मुक्त भाषाओं का प्रतिनिधित्व करने के लिए किया जा सकता है। इसमें अस्पष्टताएं हो सकती हैं। हमारे पास चॉम्स्की और ग्रीबाच सामान्य रूप भी हैं। मैं उस की जरूरत को नहीं समझ सका। वे भाषाओं के सिद्धांत में महत्वपूर्ण क्यों हैं? मैंने …

12 formal-languages  context-free  formal-grammars  normal-forms 

मैं थ्योरी ऑफ कंपीटिशन कोर्स में गोड्डलाइज़ेशन देख रहा था। मैं गॉडल नंबरिंग अवधारणाओं को समझ सकता था, लेकिन थ्योरी ऑफ़ कम्प्यूटेशन में इसके महत्व को नहीं समझ सकता था। क्या कोई कृपया कुछ अच्छी सामग्रियों की ओर संकेत कर सकता है या इसके महत्व को इंगित कर सकता है।

12 formal-languages  turing-machines 

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

12 formal-languages  regular-languages  closure-properties 

चलो नियमित हो, एल 1 ∩ एल 2 नियमित, एल 2 नियमित नहीं। पता चलता है कि एल 1 ∪ एल 2 नियमित नहीं है या एक प्रति दे।एल1L1L_1एल1∩ ल2L1∩L2L_1 \cap L_2एल2L2L_2एल1∪ ल2L1∪L2L_1 \cup L_2 पर देखो: मैं इस कोशिश की । यह एक नियमित है। मैं इस के लिए …

12 formal-languages  regular-languages 

मैं एक उपयोगकर्ता को एनएफए में नियमित अभिव्यक्ति दर्ज करने के लिए परिवर्तित करना चाहता हूं ताकि मैं फिर मेल खाते उद्देश्यों के लिए एनएफए को एक स्ट्रिंग के खिलाफ चला सकूं। न्यूनतम मशीन क्या है जिसका उपयोग नियमित अभिव्यक्तियों को पार्स करने के लिए किया जा सकता है? मुझे …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

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

12 formal-languages  undecidability  closure-properties 

मैं इस आंकड़े पर आया था जो दर्शाता है कि संदर्भ-मुक्त और नियमित भाषाएं कुशल समस्याओं (माना जाता है कि ) की उचित (ठीक) उपसमुच्चय हैं । मैं पूरी तरह से समझता हूं कि कुशल समस्याएं सभी निर्णायक समस्याओं का एक सबसेट हैं क्योंकि हम उन्हें हल कर सकते हैं …

12 formal-languages  regular-languages  context-free  efficiency 

मैं सोच रहा हूँ, 2-रास्ता DFA के लिए शून्यता का निर्धारण करने की समय-जटिलता क्या है? यही है, परिमित ऑटोमेटा जो अपने रीड-ओनली इनपुट टेप पर पीछे की ओर बढ़ सकता है। विकिपीडिया के अनुसार, वे डीएफए के बराबर हैं, हालांकि समकक्ष डीएफए तेजी से बड़ा हो सकता है। मुझे …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

मैं सोच रहा था, चूँकि अपने आप में एक स्टार-मुक्त भाषा है, क्या कोई नियमित भाषा है जो स्टार-मुक्त भाषा नहीं है? क्या आप एक उदाहरण दे सकते हैं?a∗a∗a^* ( विकिपीडिया से ) लॉसन ने स्टार-फ्री भाषाओं को परिभाषित किया है: एक नियमित भाषा को स्टार-मुक्त कहा जाता है यदि …

12 formal-languages  regular-languages  automata 

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

12 formal-languages  regular-languages  closure-properties 

यह प्रश्न इस बारे में है कि क्या प्रत्येक गणितीय प्रमेय को इस प्रश्न के लिए कम किया जा सकता है कि क्या एकल ट्यूरिंग मशीन रुकती है। विशेष रूप से, मुझे ऐसे अनुमानों में दिलचस्पी है जो वर्तमान में अप्रमाणित हैं। उदाहरण के लिए: विकिपीडिया कहता है कि यह …

11 formal-languages  computability  mathematical-foundations 

एक नियमित एक्सप्रेस के रूप में पुनरावर्ती रूप से परिभाषित किया गया है aaa लिए एक नियमित अभिव्यक्ति है,a∈Σa∈Σa \in \Sigma εε\varepsilon एक नियमित अभिव्यक्ति है, ∅∅\emptyset एक नियमित अभिव्यक्ति है, (R1∪R2)(R1∪R2)(R_1 \cup R_2) जहां और नियमित अभिव्यक्ति हैं, एक नियमित अभिव्यक्ति है,आर 2R1R1R_1आर2R2R_2 ( आर1∘ आर2)(R1∘R2)(R_1 \circ R_2) जहाँ …

11 formal-languages  regular-languages  regular-expressions