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

हम कहते हैं कि 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 

मैं सोच रहा था, क्या कोई कागजात या शोध दृष्टिगोचर पुशडाउन ऑटोमेटा के साथ काम कर रहे हैं, लेकिन स्टैक पर धकेलने के लिए एकल अक्षरों के बजाय शब्दों की अनुमति दे रहे हैं। वैकल्पिक रूप से, एक निर्माण जिसने प्रतीकों को आगे बढ़ाने की अनुमति दी ϵϵ\epsilon -transitions इसी …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

कुरोदा के एक क्लासिक परिणाम के द्वारा, जटिलता वर्ग NSPACE [ ]nnn (जिसे NLIN-SPACE के रूप में भी जाना जाता है) वास्तव में संदर्भ-संवेदनशील भाषाओं का वर्ग CSL है । संतुष्टि की समस्या SAT NSPACE [ ] में है, क्योंकि समाधान के लिए रैखिक-आकार के अनुमान को पुस्तक-रखने के लिए …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

एक क्रमपरिवर्तन वाक्यांश मानक (ई) BNF संदर्भ मुक्त व्याकरण परिभाषाओं के लिए एक विस्तार है: एक क्रमचय वाक्यांश शामिल n प्रस्तुतियों (या समतुल्य nonterminals) एक 1 के माध्यम से एक एन । क्रमपरिवर्तन वाक्यांश की स्थिति में, हम इनमें से हर एक को ठीक एक बार देखना चाहेंगे, लेकिन हम …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

नहीं है सैद्धांतिक सबूत है कि DFAs के चौराहे के लिए अनुभवहीन कार्तीय उत्पाद निर्माण है "सबसे अच्छा हम कर सकते हैं"। दो डीएफए के संघटन के बारे में क्या? तुच्छ निर्माण में प्रत्येक डीएफए को एनएफए में परिवर्तित करना, एप्सिलॉन-संक्रमण जोड़ना और परिणामी एनएफए को निर्धारित करना शामिल है। …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

मैं सोच रहा था कि क्या एक औपचारिक व्याकरण के रूप में Collatz अनुमान की जांच करने के प्रयासों की एक अच्छी ग्रंथ सूची है ? (या जेनेटिक घटना और उनके "पड़ाव" गुणों के इस वर्ग से निपटने के लिए सीएस समुदाय में कोई अन्य प्रयास)।

16 fl.formal-languages  nt.number-theory  halting-problem 

मैं संदर्भ-संवेदनशील भाषाओं (CSL) और पूर्णता से संबंधित दो प्रश्नों में दिलचस्पी लेता हूं : क्या CSL के लिए पूर्णता की धारणा है, और कौन सी भाषाएं पूरी हैं? क्या प्राकृतिक CSL हैं जो NP- पूर्ण हैं? 2 के लिए, मैं निश्चित रूप से प्राकृतिक एनपी-पूर्ण भाषाओं के बारे में …

16 np-hardness  fl.formal-languages  space-bounded 

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

16 automata-theory  fl.formal-languages 

यह जरूरी नहीं कि एक शोध प्रश्न हो। जिज्ञासा से बाहर एक सवाल: मैं यह समझने की कोशिश कर रहा हूं कि क्या कोई "इर्रिडियूसबल" भाषाओं को परिभाषित कर सकता है। पहली बार एक अनुमान के रूप में मैं एक भाषा एल "कम करने योग्य" कॉल अगर यह के रूप …

15 fl.formal-languages 

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

15 fl.formal-languages  automata-theory  dfa 

यह ज्ञात है कि एक नियमित अभिव्यक्ति के आकार को छोटा करना, भले ही हमारे पास भाषा के विनिर्देशन के रूप में डीएफए हो । यदि भाषा परिमित है तो परिणाम क्या हैं? एक दो मॉडल में इस समस्या पर विचार कर सकता है: इनपुट भाषा में सभी स्ट्रिंग्स हैं, …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

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

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

किसी भाषा की (सामान्यीकृत) स्टार ऊँचाई क्लेनी सितारों की न्यूनतम घोंसले के शिकार है जो एक विस्तारित नियमित अभिव्यक्ति द्वारा भाषा का प्रतिनिधित्व करने के लिए आवश्यक है। याद रखें कि एक परिमित वर्णमाला के ऊपर एक विस्तारित नियमित अभिव्यक्ति को संतुष्ट करता है निम्नलिखित:AAA (1) और एक सब के …

15 fl.formal-languages  lower-bounds  regular-expressions 

ऑटोमेटा थ्योरी में जेफरी शेलिट के दूसरे पाठ्यक्रम के अध्याय 4 में निम्नलिखित समस्या को खुले रूप में सूचीबद्ध किया गया है: p(n)p(n)p(n)p(n)∈Np(n)∈Np(n) \in \mathbb{N}n∈Nn∈Nn \in \mathbb{N}{p(n)∣n⩾0}{p(n)∣n⩾0}\{p(n) \mid n \geqslant 0\}ppp⩽1⩽1\leqslant 1 अब इसकी स्थिति क्या है (अक्टूबर 2018 तक)? क्या यह सिद्ध है? कुछ विशेष मामलों के बारे में …

14 fl.formal-languages  nt.number-theory  grammars