automata-theory पर टैग किए गए जवाब

एक भाषा के लिए एल ⊆ Σ ^ * , परिभाषित वाक्यात्मक अनुरूपता ≡ के एल पर कम से कम अनुरूपता के रूप में Σ ^ * कि संतृप्त एल , अर्थात्: u) v ≡ (, x, y) [xuy ↔ L vy xvy] L]। अब निम्नलिखित सही बधाई के रूप …

16 automata-theory  fl.formal-languages 

पृष्ठभूमि: दो नियत परिमित ऑटोमेटा A और B को देखते हुए, हम C में राज्यों को C में राज्यों का कार्टेशियन उत्पाद होने का संकेत देकर उत्पाद C का निर्माण करते हैं और B. राज्यों में राज्यों का चयन करते हैं। फिर, हम संक्रमणों, प्रारंभिक अवस्था और अंतिम अवस्थाओं का …

15 fl.formal-languages  automata-theory  dfa 

समस्या चलो एक बुची 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 

चलो भर भाषाओं के परिवार हो Σ संतोषजनक पंप संपत्ति नियमित भाषाओं के। अर्थात्: प्रत्येक के लिए एल ∈ एल , वहाँ एक है एन ∈ एन सेंट हर शब्द डब्ल्यू ∈ एल , | w | > N को w = x y z के रूप में लिखा जा …

14 reference-request  fl.formal-languages  automata-theory 

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 

एक गैर-नियतात्मक Xor ऑटोमेटा (NXA) वाक्यात्मक रूप से एक NFA है, लेकिन एक शब्द NXA द्वारा स्वीकार किए जाने के लिए कहा जाता है, अगर इसमें विषम स्वीकार करने वाले पथ (NFA मामले में कम से कम एक स्वीकार पथ के बजाय) हो। यह देखना आसान है कि एक नियमित …

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\x -> ⊥) = ⊥ :: A -> B। प्रमाण: ⊥ = (\x -> ⊥ x)एटा-समतुल्यता (\x -> ⊥ x) = (\x -> ⊥)द्वारा , और लंबोदर के तहत कमी द्वारा। हास्केल 2010 की रिपोर्ट, खंड 6.2 seqफ़ंक्शन को दो समीकरणों द्वारा निर्दिष्ट …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

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

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

चलो कुछ भाषा हो, तो हम को परिभाषित वाक्यात्मक अनुरूपता के रूप में यू ~ वी : ⇔ ∀ एक्स , वाई ∈ एक्स * : एक्स यू वाई ∈ एल ↔ एक्स वी वाई ∈ एल और भागफल 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 

को देखते हुए एक परिमित एक automaton और एक सीमा (नियतात्मक या गैर नियतात्मक, मैं इस बहुत महत्व है नहीं लगता है) n , एक एक शब्द ज्यादा से ज्यादा युक्त स्वीकार करता है n अलग पत्र? (तक कश्मीर विभिन्न पत्र मेरा मतलब है कि aabaa दो अलग-अलग पत्र, है …

13 cc.complexity-theory  np-hardness  automata-theory 

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

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

तो, मुझे लगभग 100-200 बहुत विरल वर्ग के बूलियन मैट्रीस हैं, जिनकी लंबाई ~ कई दर्जनों है, और मुझे उनके उत्पाद की गणना करने की आवश्यकता है। मुझे पता है कि अगर मैं उन्हें क्रमिक रूप से गुणा करता हूं, तो उत्पाद आमतौर पर प्रत्येक चरण में विरल के रूप …

13 ds.algorithms  automata-theory  matrix-product  sparse-matrix 

समकालिक तार्किक सर्किट का उपयोग करके एफएसएम को कैसे लागू किया जाए, यह सिखाते हुए, मैंने एक पेचीदा संयोग देखा: सैद्धांतिक सीएस दुनिया में, और इलेक्ट्रिकल इंजीनियरिंग की दुनिया में, "राज्य" को आमतौर पर (और राज्य स्थान क्यू ) निरूपित किया जाता है । मैं पहली बार EE.sx पर पूछा …

13 automata-theory  ho.history-overview