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

हमने नियमित भाषा की कक्षा के बारे में सीखा । यह नियमित अभिव्यक्ति, परिमित ऑटोमेटा और बाएं-रेखीय व्याकरण के बीच किसी एक अवधारणा की विशेषता है, इसलिए यह दिखाना आसान है कि एक दी गई भाषा नियमित है।REGREG\mathrm{REG} हालांकि, मैं इसके विपरीत कैसे दिखाऊं? मेरा टीए यह मानता है कि …

75 formal-languages  regular-languages  proof-techniques  reference-question 

कई तरीके साबित होता है कि कर रहे हैं एक भाषा नियमित नहीं है , लेकिन मैं क्या साबित होता है कि कुछ भाषा क्या करना होगा है नियमित रूप से? उदाहरण के लिए, अगर मैं दिया गया है कि नियमित रूप से है, मैं कैसे साबित कर सकते हैं …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

मेरी कक्षा में एक छात्र ने पूछा कि क्या सभी परिमित ऑटोमेटा को किनारों को पार किए बिना खींचा जा सकता है (ऐसा लगता है कि मेरे सभी उदाहरण हैं)। बेशक उत्तर नकारात्मक है, भाषा के लिए स्पष्ट ऑटोमोटन {एक्स ∈ { एक , ख }*∣ #ए( x ) + …

32 regular-languages  finite-automata  planar-graphs 

मैं इटा और जोत के बारे में पढ़ रहा था और इस खंड को भ्रामक पाया: इओटा के विपरीत, जहां एक स्ट्रिंग के लिए सिंटैक्टिक पेड़ बाईं तरफ या दाईं ओर शाखा कर सकता है, जोट सिंटैक्स समान रूप से बाएं-शाखा है। नतीजतन, इओटा सख्ती से संदर्भ-मुक्त है, लेकिन जोत …

32 regular-languages  programming-languages  turing-completeness 

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

31 formal-languages  regular-languages  terminology  finite-automata  history 

एक नियमित भाषा , को की लंबाई में शब्दों की संख्या । जॉर्डन कैनोनिकल फॉर्म ( लिए कुछ डीएफए के अघोषित संक्रमण मैट्रिक्स पर लागू ) का उपयोग कर, कोई यह दिखा सकता है कि बड़े पर्याप्त , जहाँ जटिल बहुपद हैं और जटिल "eigenvalues" हैं। (छोटे के लिए , …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

यहाँ नियमित अभिव्यक्ति के लिए एक अनुमान है: नियमित अभिव्यक्ति , लंबाई दें | आर | कोष्ठकों और संचालकों की उपेक्षा करते हुए, इसमें प्रतीकों की संख्या हो। जैसे | 0 ∪ 1 | = | ( 0 ∪ 1 ) * | = २RRR|R||R||R||0∪1|=|(0∪1)∗|=2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 \cup …

25 formal-languages  regular-languages  regular-expressions 

हम जानते हैं कि डीएफए अभिव्यंजक शक्ति में एनएफए के बराबर हैं; एनएफए को डीएफए में बदलने के लिए एक ज्ञात एल्गोरिथ्म भी है (दुर्भाग्य से मुझे अब उस एल्गोरिथ्म के आविष्कारक को पता है), जो सबसे खराब स्थिति में हमें राज्य देता है , अगर हमारे एनएफए में राज्य …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

विकिपीडिया में नियमित रूप से लंबू के लिए पम्पिंग लेम्मा की निम्नलिखित परिभाषा है ... को एक नियमित भाषा होने दें । फिर एक पूर्णांक depending 1 मौजूद है जो केवल पर निर्भर करता है जैसे कि प्रत्येक स्ट्रिंगLLLpppLLLwww में LLL कम से कम लंबाई के ppp ( ppp "पंप …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

मैं यह साबित करने के लिए पंपिंग लेम्मा का उपयोग करने की कोशिश कर रहा हूं कि नियमित नहीं है।L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} यह वही है जो मैंने अभी तक किया है: मान लें कि नियमित है और को पंप करने की लंबाई है, तो । किसी …

19 formal-languages  regular-languages  pumping-lemma 

चलो एल = { एn| ∃पी ≥ n पी, पी + 2 प्राइम } हैं । एल={एn|∃पी≥n पी, पी+2 प्राइम हैं}।\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. क्या नियमित है?एलएलL यह प्रश्न पहली नज़र में संदेहास्पद लग रहा था और मुझे एहसास हुआ कि …

19 formal-languages  automata  regular-languages  finite-automata 

मैं निम्नलिखित प्रश्न पर अटका हुआ हूं: "नियमित भाषाओं ठीक उन परिमित ऑटोमेटा द्वारा स्वीकार किए जाते हैं इस तथ्य को, बताते हैं कि अगर भाषा को देखते हुए। LLL कुछ परिमित automaton द्वारा स्वीकार किया जाता है, तो LRLRL^{R} भी कुछ परिमित द्वारा स्वीकार कर लिया जाता है, LRLRL^{R} …

19 formal-languages  regular-languages  automata  finite-automata 

स्थापना: backreferences के साथ नियमित अभिव्यक्ति एकात्मक भाषा (1-प्रतीक वर्णमाला) इस सेटिंग में निम्नलिखित समस्या निर्णायक है: बैकरेफरेंस के साथ एक नियमित अभिव्यक्ति को देखते हुए, क्या यह एक नियमित भाषा को परिभाषित करता है? उदाहरण के लिए, (aa+)\1एक नियमित भाषा को परिभाषित करता है, जबकि (aa+)\1+नहीं करता है। क्या …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

वहाँ कई (और मेरा मतलब है कई) गिनने योग्य भाषाएं हैं जो ट्यूरिंग-डिसिडेबल हैं। क्या कोई भी बेशुमार भाषा ट्यूरिंग डिसिडेबल हो सकती है?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

विकिपीडिया के अनुसार , किसी भी नियमित भाषा के लिए वहाँ मौजूद स्थिरांक और बहुआयामी पद ऐसी है कि हर एक के लिए संख्या की लंबाई के शब्दों की में संतुष्ट समीकरणLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n । भाषा नियमित है ( यह मेल खाता है)। iff n सम है, और s_L …

17 formal-languages  regular-languages  combinatorics  word-combinatorics