regular-language पर टैग किए गए जवाब

ऑटोमेटा सिद्धांत (परिमित ऑटोमेटा, पुशडाउन ऑटोमेटा, ...) और जटिलता में, "अस्पष्टता" की धारणा है। एक ऑटोमेटन अस्पष्ट है यदि कम से कम दो अलग-अलग स्वीकार करने वाले रन के साथ एक शब्द । एक मशीन है -ambiguous हर शब्द के लिए अगर मशीन वहाँ ज्यादा से ज्यादा कर रहे हैं …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

हम कहते हैं कि NFA है लगातार अस्पष्ट अगर वहाँ मौजूद ऐसी है कि किसी भी शब्द या तो द्वारा स्वीकार किया जाता या (वास्तव में) पथ।MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kकk यदि ऑटोमेटोन लगातार लिए अस्पष्ट है , तो को Unambiguous FA (UFA) कहा जाता है ।ममMके = १क=1k=1ममM को एक नियमित …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

अस्पष्ट परिमित ऑटोमेटन (UFA) विशेष प्रकार के गैर-नियतात्मक परिमित ऑटोमेटन (NFA) हैं। एक NFA कहा जाता है स्पष्ट करता है, तो हर शब्द अधिकतम एक बार स्वीकार कर मार्ग होता है।डब्ल्यू ∈ Σ*w∈Σ*w\in \Sigma^* इसका मतलब यह है ।डी एफA ⊂ यूएफA ⊂ एनएफएडीएफए⊂यूएफए⊂एनएफएDFA\subset UFA\subset NFA ज्ञात संबंधित ऑटोमेटन परिणाम: …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

समस्या चलो एक बुची automaton हो, एक भाषा को पहचानने एल ⊆ Σ ω । हम मानते हैं कि एक निम्नलिखित अर्थ में एक स्वीकृति रणनीति है: वहाँ एक समारोह है σ : Σ * → क्यू जिनमें से पायलट रन करने के लिए इस्तेमाल किया जा सकता एक । …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

वहाँ किसी भी ज्ञात "अच्छा" पदानुक्रम है L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (परिमित हो सकता है) की नियमित भाषाओं वर्ग के अंदर LLL ? यहाँ अच्छा करके, प्रत्येक पदानुक्रम में कक्षाएं अलग-अलग अभिव्यक्ति / शक्ति / जटिलता पर कब्जा करती हैं। इसके अलावा, प्रत्येक वर्ग की सदस्यता कुछ …

14 automata-theory  regular-language  regular-expressions 

Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}आर ई जी ⊆ टी सी 0 एन सी 1 ⊈ टी सी 0 आर ई जी ⊈ टी सी 0TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} क्या में एक समस्या के लिए कोई उम्मीदवार है जो ?टी सी ०RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} क्या कोई सशर्त परिणाम है कि , उदाहरण …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

मैं गैलीना जिरसकोवा, 2009 की राज्य जटिलता पर " नियमित भाषाओं और वर्णनात्मक जटिलता का संगम " पढ़ रहा हूं , जिसके परिणामस्वरूप दो नियमित भाषाओं (गैलीना जिरसकोवा द्वारा) का संयोजन किया जाता है, लेकिन मैं यह नहीं समझ सकता कि राज्य जटिलता के व्यावहारिक निहितार्थ क्या होंगे। । पहली …

14 fl.formal-languages  automata-theory  regular-language 

उन शर्तों की एक सूची एकत्र करना अच्छा होगा जो एक संदर्भ-मुक्त भाषा एल नियमित है, अर्थात फॉर्म की शर्तें: "यदि किसी दिए गए सीएफजी / पीडीए में संपत्ति पी है, तो उसकी भाषाएं नियमित हैं" प्रॉपर्टी P में नियमित भाषा बनाने वाले CFG की विशेषता नहीं है। इसके अलावा, …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

चलो कुछ भाषा हो, तो हम को परिभाषित वाक्यात्मक अनुरूपता के रूप में यू ~ वी : ⇔ ∀ एक्स , वाई ∈ एक्स * : एक्स यू वाई ∈ एल ↔ एक्स वी वाई ∈ एल और भागफल monoid एक्स * / ~ एल है कहा जाता है वाक्यात्मक …

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

में Angluin के ऑटोमेटा सीखने ढांचा , एक छात्र उद्देश्य एक नियमित रूप से भाषा सीखने की अपने शिक्षक से सवाल के दो प्रकार पूछकर:L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* शब्द प्रश्न: में दिया गया , क्या ?w∈Σ∗w∈Σ∗w\in \Sigma^*w∈Lw∈Lw\in L समतुल्यता प्रश्न: एक भाषा , ? यदि नहीं, तो शिक्षक एक देता है, यानी …

13 automata-theory  regular-language 

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

13 reference-request  fl.formal-languages  regular-language 

परिमित ऑटोमेटा द्वारा मान्यताप्राप्त भाषा के वर्ग के बारे में क्या ज्ञात है जो एक ही प्रारंभिक और स्वीकृत राज्य है? यह नियमित भाषाओं का एक उचित उपसमूह है (क्योंकि ऐसी हर भाषा में रिक्त स्ट्रिंग शामिल है), लेकिन यह कितना कमजोर है? क्या एक साधारण बीजगणितीय लक्षण वर्णन है? …

13 fl.formal-languages  automata-theory  algebra  regular-language 

मुझे क्लासिक समस्या REGANGAR LANGUAGE INCLUSION में दिलचस्पी है। एक नियमित अभिव्यक्ति को देखते हुए , हम एल ( ई ) से जुड़ी नियमित भाषा से निरूपित करते हैं। (रेगुलर एक्सप्रेशन एक निश्चित वर्णमाला पर हैं Σ संचालन संघ, क्लीन-स्टार और संयोजन के साथ,।)इEEएल ( ई)L(E)L(E)ΣΣ\Sigma इनपुट: दो नियमित अभिव्यक्ति …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

मैं निम्नलिखित दावों को सच समझता हूं: किसी दिए गए CFG में एक स्ट्रिंग के दो अलग-अलग व्युत्पन्न कभी-कभी स्ट्रिंग के लिए एक ही पार्स ट्री को विशेषता दे सकते हैं। जब किसी दिए गए CFG में कुछ स्ट्रिंग के व्युत्पन्न होते हैं जो अलग-अलग पार्स पेड़ों को विशेषता देते …

11 fl.formal-languages  regular-language  context-free 

यह सवाल हाल ही में जेनोमा के एक सवाल से संबंधित है । पृष्ठभूमि बाधा प्रोग्रामिंग में, एक नियमित रूप से वैश्विक बाधा एक डोमेन पर एक जोड़ी है के साथ चर का एक टपल (गुंजाइश) और एक DFA डोमेन पर । एक काम को संतुष्ट अगर स्ट्रिंग को स्वीकार …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language