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

चलो भर भाषाओं के परिवार हो Σ संतोषजनक पंप संपत्ति नियमित भाषाओं के। अर्थात्: प्रत्येक के लिए एल ∈ एल , वहाँ एक है एन ∈ एन सेंट हर शब्द डब्ल्यू ∈ एल , | 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 

निम्नलिखित निर्देशों के साथ एक मानक दो काउंटर ( ) मशीन कर सकते हैं:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT निम्नलिखित भाषा तय करें: L={n2∣n≥1}L={n2∣n≥1}L = \{ …

14 fl.formal-languages  counter-automata 

लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\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 

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

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

निम्नलिखित प्राकृतिक प्रश्न पर विचार करें: एक परिमित भाषा को देखते हुए , L को उत्पन्न करने वाला सबसे छोटा संदर्भ-मुक्त व्याकरण क्या है ?LLLLLL हम भाषाओं के एक अनुक्रम को निर्दिष्ट करके प्रश्न को और अधिक रोचक बना सकते हैं , उदाहरण के लिए L n { 1 , …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

मान लीजिए कि मेरे पास कोड का एक बड़ा ब्लॉक है जिसे मैंने पहले ही लेक्स किया है और पार्स किया है। मान लीजिए कि सिर्फ एक चरित्र बदलता है; मैं अपनी पार्सिंग को अपडेट करना चाहता हूं, लेकिन चूंकि संशोधन पूरी चीज की तुलना में बहुत छोटा है, इसलिए …

14 fl.formal-languages  parsing 

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

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

हाल के प्रश्न को पढ़ने के बाद "के पूरक है {www∣...}{www∣...}\{ www \mid ...\} विषय से मुक्त?" ; मुझे याद है कि मैं एक ऐसी ही समस्या को याद नहीं कर पा रहा था: है L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} संदर्भ मुक्त? …

13 fl.formal-languages  context-free 

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

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

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

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

ग्रीबाच ने प्रसिद्ध रूप से एक भाषा परिभाषित किया है , जो तथाकथित nondeterministic संस्करण है , जैसे कि कोई भी CFL, की प्रतिलोम आकृति है । क्या डीसीएफएल के साथ एक समान बयान मौजूद है, संभवतः अनुमति दिए गए आकार पर कुछ प्रतिबंध के साथ?HHHD2D2D_2HHH (देखें, उदाहरण के लिए, …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

डाइक भाषाएँ को निम्नलिखित व्याकरण के सेट पर । सहज रूप से डाइक भाषाएँ विभिन्न प्रकार के के संतुलित कोष्ठक की भाषाएँ हैं । उदाहरण के लिए, में है लेकिन नहीं है।S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k){ ( 1 , ... , ( कश्मीर , ) 1 , ... , ) कश्मीर …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free