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

आइए दो संदर्भ-मुक्त व्याकरणों और पर विचार करें और निम्नलिखित प्रश्न पूछें: क्या , यानी दो व्याकरण समान हैं?जी1जी1G_1जी2जी2G_2एल ( जी)1) = एल ( जी2)एल(जी1)=एल(जी2)L(G_1) = L(G_2) सामान्य तौर पर, यह समस्या अनिर्दिष्ट है। हालाँकि, यदि और दोनों बाएँ-रैखिक (या दाएँ-रैखिक) व्याकरण हैं, तो समस्या विकट है, क्योंकि दोनों व्याकरण …

19 formal-languages  context-free  formal-grammars 

मैं यह साबित करने के लिए पंपिंग लेम्मा का उपयोग करने की कोशिश कर रहा हूं कि नियमित नहीं है।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 

क्या मानक ट्यूरिंग की तुलना में रिक्त कोशिकाओं पर लिखने की क्षमता के बिना एक ट्यूरिंग मशीन कम शक्तिशाली है? मुझे लगता है कि उत्तर हां है, लेकिन मैं एक गणना नहीं पा रहा हूं जो मानक ट्यूरिंग मशीन कर सकती है लेकिन यह मशीन नहीं कर सकती है। कोई …

18 formal-languages  turing-machines  computability  automata 

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

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

क्या यह परीक्षण करने के लिए एक एल्गोरिथ्म / व्यवस्थित प्रक्रिया है कि क्या कोई भाषा संदर्भ-मुक्त है? दूसरे शब्दों में, बीजीय रूप में निर्दिष्ट भाषा को देखते हुए ( ) के बारे में सोचें , परीक्षण करें कि भाषा संदर्भ-मुक्त है या नहीं । कल्पना करें कि हम अपने …

18 algorithms  formal-languages  context-free  decision-problem 

एक नियमित रूप से भाषा को देखते हुए , तो यह साबित करने के लिए एक निरंतर है कि वहाँ आसान है ऐसी है कि , के साथ वहाँ मौजूद तार , और ऐसा है किLLLNNNσ∈Lσ∈L\sigma \in L|σ|≥N|σ|≥N\lvert \sigma \rvert \ge Nαα\alphaββ\betaγγ\gamma|αβ|≤N|αβ|≤N\lvert \alpha \beta \rvert \le N और , और …

18 formal-languages  proof-techniques 

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

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 

और भाषाओं को देखते हुए , मान लें कि यदि उनका शब्द सभी _ है , तो उनका संघटन अस्पष्ट है , बिलकुल और साथ और अन्यथा अस्पष्ट है। (मुझे नहीं पता कि इस संपत्ति के लिए एक स्थापित शब्द है - इसके लिए खोज करने के लिए कठिन बात!) …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

अगर यह भी संभव है, के बाद से मैं सोच रहा हूँ {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} । इसलिए एक पीडीए है कि एक शब्द भेद कर सकते हैं w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} के बाकी हिस्सों से {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} के साथ-साथ, इसे स्वीकार हो …

16 formal-languages  automata  context-free  pushdown-automata 

यदि मेरे पास एक टाइप 3 ग्रामर है, तो इसे एक पुशडाउन ऑटोमेटन (स्टैक पर कोई भी ऑपरेशन किए बिना) पर प्रस्तुत किया जा सकता है, इसलिए मैं संदर्भ मुक्त भाषाओं का उपयोग करके नियमित अभिव्यक्ति का प्रतिनिधित्व कर सकता हूं। लेकिन क्या मैं जान सकता हूं कि कोई पार्स …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

ध्यान दें कि यह एक विश्वविद्यालय में एक सीएस कोर्स में अध्ययन से संबंधित प्रश्न है, यह होमवर्क नहीं है और यह फॉल 2011 परीक्षा 2 के तहत यहां पाया जा सकता है । यहां पिछले परीक्षा के दो प्रश्न दिए गए हैं। वे संबंधित प्रतीत होते हैं, पहला: चलो …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

नियतात्मक परिमित ऑटोमोटन (डीएफए) एक राज्य मशीन मॉडल है जो सभी और केवल नियमित भाषाओं को स्वीकार करने में सक्षम है। DFAs (और आमतौर पर) इस तरह से परिभाषित किए जा सकते हैं कि प्रत्येक राज्य को इनपुट वर्णमाला के सभी तत्वों के लिए कुछ संक्रमण प्रदान करना होगा; दूसरे …

16 formal-languages  automata  finite-automata