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

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

16 formal-languages  automata  closure-properties 

मैं कंप्यूटर सिद्धांत में "अनंत" भाषा या "परिमित" भाषा के वाक्यांशों के उपयोग के बारे में स्पष्ट नहीं हूं। मुझे लगता है कि मुसीबत की जड़ है कि जैसे एक भाषा है है अनंत भावना है कि यह एक अनंत (लेकिन गणनीय) तार की संख्या उत्पन्न कर सकते हैं में। …

16 formal-languages  terminology  regular-languages 

Let । एक भाषा अगर हर स्ट्रिंग के लिए "विरोधी विलोमपद" संपत्ति कहा जाता है कि कि विलोमपद, । इसके अलावा, के लिए हर स्ट्रिंग कि है नहीं विलोमपद या तो या , लेकिन दोनों नहीं (!) (अनन्य या)।एल ⊆ Σ * डब्ल्यू डब्ल्यू ∉ एल यूΣ={0,1}Σ={0,1}\Sigma = \{ 0, …

15 formal-languages 

मेरी पाठ्य पुस्तक में उल्लेख किया गया है कि: जहाँ एक खाली भाषा है।∅∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset हालाँकि, हम जानते हैं कि , जहाँ कोई भी भाषा है।एलL⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL मैं इस अवधारणा को सहजता से समझ नहीं पा रहा हूं क्योंकि क्लेन स्टार ऑपरेशन इस तथ्य की ओर इशारा करता …

15 formal-languages  kleene-star 

इसलिए मूल रूप से L, CFL के लिए पम्पिंग लेम्मा की शर्तों को पूरा करता है, लेकिन CFL नहीं है (जो कि लेम्मा की परिभाषा के अनुसार संभव है)।

15 formal-languages  context-free  pumping-lemma 

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

15 formal-languages  automata  nondeterminism 

क्या एक नियमित भाषा में किसी दिए गए लंबाई के शब्दों की संख्या का बीजगणितीय लक्षण वर्णन है? विकिपीडिया कुछ हद तक अभेद्य रूप से बताता है: किसी भी नियमित भाषा LLL स्थिरांक λ 1 मौजूद है ,λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_k और बहुपदp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\,\ldots,\,p_k(x) ऐसी है कि हर एक के लिएnnn संख्याsL(n)sL(n)s_L(n) की लंबाई …

15 formal-languages  regular-languages  word-combinatorics 

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

15 formal-languages  complexity-theory  formal-grammars 

एक भाषा को देखते हुए LLL , की लंबाई सेट को परिभाषित LLL में शब्दों की लंबाई के सेट के रूप में LLL : LS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} पूर्णांकों का कौन सा सेट एक नियमित भाषा की लंबाई सेट हो सकता है?

15 formal-languages  computability  regular-languages  finite-automata 

भाषा को रूप में परिभाषित करें । दूसरे शब्दों में, में वे शब्द हैं जिन्हें दो बार दोहराए गए किसी शब्द के रूप में व्यक्त नहीं किया जा सकता है। है विषय से मुक्त है या नहीं?एल = { एक , ख } * - { w w | डब्ल्यू …

15 formal-languages  context-free  formal-grammars 

मैं आमतौर पर खाली स्ट्रिंग (खाली शब्द या अशक्त स्ट्रिंग) के लिए प्रतीक उपयोग करता हूं εε\varepsilon। लेकिन मैं जानता हूँ कि कुछ लोगों का उपयोग λλ\lambda के बजाय εε\varepsilon । मुझे लगता है कि εε\varepsilon "खाली" शब्द से लिया गया है। हालाँकि मुझे नहीं पता कि की उत्पत्ति क्या …

14 formal-languages  automata  reference-request  notation  history 

यह देखते हुए एक वर्णमाला Σ={a,b}Σ={a,b}\Sigma = \{ a,b \} , कितने अलग अलग सुव्यवस्थित भाषाओँ वहाँ है कि एक के द्वारा स्वीकार किया जा सकता है nnn -state गैर नियतात्मक परिमित automaton? एक उदाहरण के रूप में, हम विचार करते हैं n=3n=3n=3। तब हमारे पास 2182182^{18} अलग-अलग संक्रमण कॉन्फ़िगरेशन …

14 formal-languages  regular-languages  finite-automata  combinatorics 

मैं खुद को बायसन का उपयोग सिखाने की कोशिश करता हूं। मैनपेज बाइसन (1) बायसन के बारे में कहता है: एलआरआर (1), आईईएलआर (1), या कैनोनिकल एलआर (1) पार्सर टेबल को नियोजित करने वाले एक नियतकालिक एलआर या सामान्यीकृत एलआर (जीएलआर) पार्सर उत्पन्न करें। IELR- पार्सर क्या है? विश्व व्यापी …

14 formal-languages  terminology  formal-grammars  parsers 

विकिपीडिया लेख के अनुसार , L में अर्थ है "बाएं से दाएं स्कैन", और "R" का अर्थ है "सबसे सही व्युत्पत्ति।" हालांकि, एल आर ( के ) व्याकरण पर नूथ के मूल पेपर में , वह एल आर ( के ) (पृष्ठ 610 पर) को एक भाषा के रूप में …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

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

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