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

निम्नलिखित भाषा संदर्भ मुक्त है? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} जैसा कि sdcvvc द्वारा बताया गया है, इस भाषा में एक शब्द को एक ही लंबाई के दो शब्दों के मिलन के रूप …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

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

25 formal-languages  programming-languages  regular-expressions 

यहाँ नियमित अभिव्यक्ति के लिए एक अनुमान है: नियमित अभिव्यक्ति , लंबाई दें | आर | कोष्ठकों और संचालकों की उपेक्षा करते हुए, इसमें प्रतीकों की संख्या हो। जैसे | 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 

यह प्रश्न सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 6 साल पहले पलायन कर गए । मैं पुनरावर्ती और पुनरावर्ती असंख्य भाषाओं की कई परिभाषाओं में आया हूं। लेकिन मैं काफी समझ नहीं पाया कि …

24 formal-languages  computability  turing-machines 

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

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

कंस्ट्रक्टिविस्ट लॉजिक एक ऐसी प्रणाली है, जो एक्सक्लूज़िव के रूप में एक्सक्लूसिव मिडिल के साथ-साथ डबल नेगेटिव को भी हटा देती है। यह विकिपीडिया पर यहाँ और यहाँ वर्णित है । विशेष रूप से, सिस्टम विरोधाभास द्वारा प्रमाण के लिए अनुमति नहीं देता है। मैं सोच रहा हूं, क्या कोई …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

EPAL, यहां तक ​​कि palindromes की भाषा, को निम्न अस्पष्ट संदर्भ-मुक्त व्याकरण द्वारा उत्पन्न भाषा के रूप में परिभाषित किया गया है: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b ईपीएएल कई पार्सिंग एल्गोरिदम का 'बैन' है: मुझे अभी तक …

23 formal-languages  formal-grammars  parsers 

जैसा कि शीर्षक कहता है, मैंने पिछले सप्ताहांत में पर्ल-संगत नियमित अभिव्यक्तियों द्वारा मेल की जाने वाली भाषाओं के वर्ग के बारे में अपने दिमाग को लपेटने की कोशिश की, किसी भी मेल ऑपरेटर को छोड़कर जो पैटर्न के अंदर मनमाने कोड को निष्पादित करने की अनुमति देता है । …

23 formal-languages  regular-expressions 

क्या कोई "प्राकृतिक" भाषा है जो कि अनिर्दिष्ट है? "प्राकृतिक" से मेरा मतलब है कि एक भाषा सीधे तार के गुणों द्वारा परिभाषित की गई है, और मशीनों और उनके समकक्ष के माध्यम से नहीं। दूसरे शब्दों में, अगर की तरह भाषा दिखता जहां एम एक टीएम, DFA (या नियमित …

22 formal-languages  automata  computability  undecidability 

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

22 formal-languages  formal-grammars  proof-techniques  reference-question 

यह प्रश्न सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर कंप्यूटर साइंस स्टैक एक्सचेंज पर दिया जा सकता है। 7 साल पहले पलायन कर गए । मैं गणितीय सिद्धांतों की तलाश कर रहा हूं जो सामान्य रूप से औपचारिक भाषा (तार के सेट) का वर्णन …

22 formal-languages  formal-grammars 

गणना के मशीन मॉडल पर विचार करते समय, चॉम्स्की पदानुक्रम को आमतौर पर (क्रम में), परिमित ऑटोमेटा, पुश-डाउन ऑटोमेटा, रैखिक बाध्य ऑटोमेटा और ट्यूरिंग मशीनों द्वारा विशेषता दी जाती है। पहले और आखिरी स्तर 1 (नियमित भाषा और पुनरावर्ती रूप से सुगम भाषाएं) के लिए, यह मॉडल की शक्ति पर …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

संदर्भ-मुक्त भाषाएं पूरक के तहत बंद नहीं हैं, हम जानते हैं कि। जहां तक मैं समझता हूँ, विषय से मुक्त करने वाली भाषाएं का एक सबसेट है a∗b∗a∗b∗a^*b^* कुछ पत्र के लिए a,ba,ba,b पूरक के तहत बंद हो जाती हैं (!?) यहाँ मेरा तर्क है। प्रत्येक सीएफ भाषा LLL एक …

20 formal-languages  reference-request  context-free  closure-properties 

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

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

मैं उपयोगकर्ता-परिभाषित डोमेन विशिष्ट भाषाओं को पार्स करना चाहता हूं। ये भाषाएं आम तौर पर गणितीय संकेतन के करीब होती हैं (मैं एक प्राकृतिक भाषा को पार्स नहीं कर रहा हूं)। उपयोगकर्ता अपने DSL को BNF संकेतन में इस तरह परिभाषित करते हैं: expr ::= LiteralInteger | ( expr ) …

20 formal-languages  parsers  compilers