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

एक नियमित भाषा का वर्णन करें जिसे किसी भी DFA द्वारा स्वीकार नहीं किया जा सकता है जिसमें केवल तीन राज्य हैं। मुझे वास्तव में यकीन नहीं है कि इस पर कहां से शुरुआत करनी है और सोच रहा था कि क्या कोई मुझे कुछ सुझाव या सलाह दे सकता …

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

मैं बस गणना के सिद्धांत में शामिल होना शुरू कर रहा हूं, जो अध्ययन करता है कि क्या गणना की जा सकती है, कितनी जल्दी, कितनी स्मृति और किस कम्प्यूटेशनल मॉडल का उपयोग करके। मेरे पास एक बहुत ही बुनियादी प्रश्न है, लेकिन मुझे उम्मीद है कि आप में से …

10 complexity-theory  formal-languages 

मान लें कि एक आदेशित वर्णमाला पर एक नियमित भाषा है। क्या एल में हर शब्द को लेने और इसे हमेशा एक नियमित भाषा के रूप में छाँटकर बनाया गया है ?एलएलLएलएलL

10 formal-languages  regular-languages 

वहाँ है एक की जरूरत के लिए L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* होने के लिए अनंत अनिर्णनीय होने के लिए? मेरा मतलब है कि अगर हम एक भाषा का चयन करते हैं तो एक परिमित परिमित संस्करण हो सकता है , जो कि है , ( ), । क्या लिए एक अयोग्य भाषा …

10 formal-languages  computability  undecidability 

लिखें का दशमलव विस्तार के लिए (कोई प्रमुख के साथ )। चलो और पूर्णांकों, साथ होना । अधिक के गुणकों के दशमलव विस्तार की भाषा पर विचार करें :B एनn¯\bar n एनnn0एaaबीbbए>0a>0a > 0एaa म = { ¯ एएक्स + ख |एक्स∈एन}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} क्या नियमित …

10 formal-languages  context-free  regular-languages  integers 

मेरे पढ़ने से ऐसा लगता है कि अधिकांश व्याकरण अनंत संख्या में तार उत्पन्न करने से चिंतित हैं। अगर आपने दूसरे तरीके से काम किया तो क्या होगा? यदि m लम्बाई के n तार दिए जाते हैं, तो एक व्याकरण बनाना संभव होना चाहिए जो उन तारों को उत्पन्न करेगा, …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

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

10 formal-languages  regular-languages  regular-expressions 

शीर्षक में सवाल बहुत ज्यादा है। क्या कभी ऐसा समय होता है, जहां कुछ भाषाएलएलL के साथ एक न्यूनतम DFA द्वारा स्वीकार किया जा सकता है nnn बताता है, लेकिन एलआरएलआरL^Rका उलटा एलएलL, के साथ एक DFA द्वारा स्वीकार किया जा सकता है ममm राज्यों, जहां म &lt; nम&lt;nm<n?

10 formal-languages  reference-request  automata  finite-automata 

क्यों (अगर ऐसा है) ##\# दोनों भाषाओं के बीच अंतर कर रहा है? मान लीजिए: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#= { w # s : | w | = | s |डब्ल्यू , एस ∈ { 0 , 1}*, w ≠ s }L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, …

9 formal-languages  context-free  pumping-lemma 

मैं हाल ही में सोच रहा था कि क्या होगा यदि हम संदर्भ-मुक्त व्याकरणों को अनंत नियमों की संख्या की अनुमति देंगे। जाहिर है, अगर हम नियमों के ऐसे अनंत सेटों की अनुमति देंगे, तो हर भाषाएलLL कुछ वर्णमाला के ऊपर ΣΣ\Sigma एक CFG द्वारा वर्णित किया जा सकता है …

9 formal-languages  context-free  formal-grammars 

आमतौर पर मैं देखता हूं कि लूप के लिए संरचनात्मक परिचालनात्मक शब्दार्थ निरूपण में, कार्यक्रम की स्थिति नहीं बदलती है: ( w h i l l eबीघओएस, σ) → ( i f)बीt h e nएस; ( w h i l l eबीघओएस)ई एल एस ईएसकमैंपी, σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

मैं एकात्मक भाषाओं के बारे में सोचता हूं एलकLkL_k, कहाँ पे एलकLkL_k सभी शब्दों का सेट है, जिसकी लंबाई है कkkवर्गों। औपचारिक रूप से: एलक= {एn∣ एन =Σमैं = १कnमैं2,nमैं∈एन0( 1 ≤ मैं ≤ k ) }Lk={an∣n=∑i=1kni2,ni∈N0(1≤i≤k)}L_k=\{a^n\mid n=\sum_{i=1}^k {n_i}^2,\;\;n_i\in\mathbb{N_0}\;(1\le i\le k)\} यह दिखाना आसान है एल1= {एn2| N ∈एन0}L1={an2∣n∈N0}L_1=\{a^{n^2}\mid n\in\mathbb{N_0}\}नियमित …

9 formal-languages  regular-languages 

एक औपचारिक भाषा LLLएक वर्णमाला पर का एक सबसेट है, , उस वर्णमाला के शब्दों का एक समूह है। दो औपचारिक भाषाएं और बराबर हैं, यदि संबंधित सेट सबसेट के समान हैं । एक "समस्या की अवधारणा को औपचारिक रूप देने के लिए जटिलता सिद्धांत में भाषाओं का उपयोग कर …

9 complexity-theory  formal-languages  reference-request 

मैं एक संदर्भ-संवेदी व्याकरण की तलाश में हूं जो निम्नलिखित भाषा का वर्णन करता है: ।L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} मुझे इस बात की समस्या है कि कोई भी नियम जैसे की अनुमति नहीं है और इसलिए मैं शब्द के "मध्य" को इंगित करने …

9 formal-languages  formal-grammars  context-sensitive 

हाल ही में, मैंने गणित एसई पर एक प्रश्न पूछा । कोई उत्तर नहीं अब तक। यह प्रश्न उस प्रश्न से संबंधित है, लेकिन कंप्यूटर विज्ञान की ओर अधिक तकनीकी विवरण। दो डीएफए दिए A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) तथा B=(Q,Σ,δ,q2,F2)B=(Q,Σ,δ,q2,F2)B = (Q, \Sigma, \delta, q_2, F_2) जहां …

9 formal-languages  reference-request  finite-automata