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

यह अज्ञात है कि या , जहाँपी⊆ सीएसएलपी⊆सीएसएलP\subseteq CSLपी⊈ सीएसएलपी⊈सीएसएलP\not\subseteq CSL पीपीP एक नियतात्मक ट्यूरिंग मशीन पर बहुपद समय में सभी भाषाओं का एक सेट है, और सीएसएलसीएसएलCSL प्रसंग-संवेदी भाषाओं का वर्ग है, जिसे NSPACE (O (n)) के समतुल्य माना जाता है एनएसपीA सीइ( ओ ) ( एन )एनएसपीएसीइ(हे(n))NSPACE(O(n)), भाषाएं …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

समस्या का विवरण : चलो एक (संभावित गैर नियतात्मक) पुशडाउन automaton हो सकता है और जाने होना अपने इनपुट वर्णमाला। क्या कोई शब्द st कि द्वारा स्वीकार किया जाता है ?MMMAA\cal Aw∈A∗w∈A∗w \in \cal A^*|w|≤k|w|≤k|w| \leq kMMM क्या यह समस्या एनपी-पूर्ण है? क्या इसका अध्ययन किया गया है? क्या कोई …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

भाषाओं के बीच परिवर्तनों को परिभाषित करने के लिए कई अलग-अलग मॉडल हैं। बेहतर स्टेट ट्रांसड्यूसर और स्ट्रिंग रेखांकन पर एमएसओ-निश्चित ग्राफ परिवर्तन वे दो हैं जिनसे मैं सबसे अच्छी तरह परिचित हूं। हम जानते हैं कि 2-वे परिमित राज्य ट्रांसड्यूसर (जो उनके 1-वे समकक्षों की तुलना में अधिक अभिव्यंजक …

9 fl.formal-languages 

क्या गणितीय विश्लेषण, निरंतर गणित का उपयोग करके औपचारिक भाषाओं की समस्याओं को हल करने पर कुछ परिणाम हैं। उदाहरण के लिए, एक संदर्भ-मुक्त भाषा और एक नियमित भाषा के लिए अंतर-शून्यता समस्या को हल करना।

9 fl.formal-languages  automata-theory  context-free 

चलो AAAएक बारीक अक्षर हो। किसी दी हुई भाषा के लिएL⊆A∗L⊆A∗L \subseteq A^{\ast}वाक्यात्मक monoid M(L)M(L)M(L)औपचारिक भाषा सिद्धांत में एक प्रसिद्ध धारणा है। इसके अलावा, एक monoidMMM एक भाषा को पहचानता है LLL अगर वहाँ एक रूपवाद मौजूद है φ:A∗→Mφ:A∗→M\varphi : A^{\ast} \to M ऐसा है कि L=φ−1(φ(L)))L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L)))। फिर …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

सभी CFG में अस्पष्ट CFG का अनुपात क्या है ? चूंकि दोनों सेट समान रूप से अनंत हैं, इसलिए अनुपात अच्छी तरह से परिभाषित नहीं है। लेकिन असममित घनत्व के बारे में क्या : लिमn ↦ ∞# अस्पष्ट सीजीजी आकार का < n# आकार का CFG < nलिमn↦∞# आकार का …

9 fl.formal-languages  grammars  context-free 

मैं जानना चाहूंगा कि संदर्भ-मुक्त भाषाओं की मान्यता के लिए केवल गैर-नियतात्मक पुश-डाउन ऑटोमेटा (डीपीए = एनपीडीए) काम क्यों नहीं करता है। नियतात्मक पुश-डाउन ऑटोमेटा (DPDA) ऐसी भाषाओं को क्यों नहीं पहचानता है?

9 fl.formal-languages  automata-theory  context-free 

मैं पार्सिंग का बीजगणितीय सिद्धांत सीख रहा हूं। मेरी पहली समस्या संगोष्ठी के उदाहरणों की पहचान करना है जो औपचारिक भाषा सिद्धांत के लिए विशिष्ट हैं। यहां दो उदाहरणों के निर्माण का प्रयास किया गया है। 1 CNF व्याकरण को देखते हुए, संगोष्ठी के तत्व संचालन के साथ टर्मिनल और …

9 fl.formal-languages 

मैं सोच रहा था कि नियमित अभिव्यक्ति के प्रतिबंधों से भाषाओं के क्या सेट उत्पन्न होते हैं। यह मानते हुए कि सभी प्रतिबंधों के प्रत्येक तत्व के लिए एक निरंतर प्रतीक हैΣΣ\Sigmaऔर संघटन। फिर पूरक / निषेध, परिवर्तन / संघ, और क्लेयन स्टार की उपस्थिति या अनुपस्थिति से आठ कक्षाएं …

9 fl.formal-languages  regular-expressions 

चार्ट पार्सर को चॉम्स्की सामान्य रूप में या सीधे उत्पादन नियमों के आधार पर लागू किया जा सकता है। पल के लिए मान लें कि हमारे पास एक CYK चार्ट पार्सर है जो चॉम्स्की सामान्य रूप का उपयोग करता है। बिनाराइजेशन को विशिष्ट रूप से परिभाषित नहीं किया गया है। …

9 fl.formal-languages  parsing 

क्या वहाँ मौजूद है क्रमपरिवर्तन π1,π2π1,π2\pi_1,\pi_2 और बहुपद आकार (में) |w|=n|w|=n|w|=n) संदर्भ मुक्त व्याकरण जो परिमित भाषा का वर्णन करता है{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\} वर्णमाला के ऊपर {0,1}{0,1}\{0,1\}? अद्यतन: एक क्रमचय के लिए ππ\pi यह संभव है। ππ\pi उत्क्रमण का उलटा या अपेक्षाकृत मामूली संशोधन है।

9 fl.formal-languages  grammars  context-free 

मेरे अनुभव में, संवेदी-संवेदनशील भाषाएं और रैखिक बाउंड ऑटोमेटा को अक्सर कम्प्यूटेबिलिटी थ्योरी पाठ्यक्रमों में छोड़ दिया जाता है, या यहां तक ​​कि कुछ उल्लेखनीय पाठ्य पुस्तकों से भी छोड़ दिया जाता है, हालांकि परिमित और पुशडाउन ऑटोमेटा पर बहुत ध्यान जाता है। निश्चित रूप से एक अच्छा कारण होना …

9 computability  fl.formal-languages  automata-theory