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

एन राज्यों के साथ दो (न्यूनतम) डीएफए के चौराहे को ओ (एन 2 ) समय और स्थान का उपयोग करके गणना की जा सकती है। यह सामान्य रूप से इष्टतम है, जिसके परिणामस्वरूप (न्यूनतम) डीएफए में एन 2 राज्य हो सकते हैं । हालाँकि, यदि परिणामी न्यूनतम DFA में z …

25 automata-theory  dfa 

किसी भी भाषा के लिए से अधिक Σ * , परिभाषित एल 1 / 2 = { x ∈ Σ * : एक्स वाई ∈ एल , y ∈ Σ | x | } । शब्दों में, एल 1 / 2 सभी के होते हैं एक्स जिसके लिए वहाँ एक …

24 fl.formal-languages  automata-theory 

बता दें कि इनपुट के रूप में द्वारा दी गई दो नियमित भाषाएं हैं ।L1,L2L1,L2L_1,L_2M1,M2M1,M2M_1,M_2 मान लें कि हम जाँच करना चाहते हैं । यह स्पष्ट रूप से एक द्विघात एल्गोरिथ्म द्वारा किया जा सकता है जो के उत्पाद की गणना करता है , लेकिन मैं सोच रहा था कि …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

दो तार x और y को देखते हुए, मैं एक न्यूनतम आकार DFA बनाना चाहता हूं जो x को स्वीकार करता है और y को अस्वीकार करता है। ऐसा करने का एक तरीका जानवर बल खोज है। आप DFA की शुरुआत सबसे छोटे से करते हैं। आप प्रत्येक DFA को …

23 automata-theory  dfa  fsm 

एक निश्चित परिमित वर्णमाला के लिए , एक औपचारिक भाषा से अधिक है नियमित रूप से अगर वहाँ एक से मौजूद है नियतात्मक परिमित automaton (DFA) से अधिक जो वास्तव में स्वीकार करता है ।एल Σ Σ एलΣΣ\SigmaएलLLΣΣ\SigmaΣΣ\SigmaएलLL मुझे उन भाषाओं में दिलचस्पी है जो इस अर्थ में "लगभग" नियमित …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

मैं एक वर्णमाला पर एक नियमित भाषा को ठीक करता हूं , और मैं निम्नलिखित समस्या पर विचार करता हूं जिसे मैं लिए समयबद्धन पत्र कहता हूं । अनौपचारिक रूप से, इनपुट मुझे अक्षर और प्रत्येक अक्षर के लिए एक अंतराल (यानी, एक न्यूनतम और अधिकतम स्थिति) देता है, और …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

यह सर्वविदित है कि निम्नलिखित समस्या PSPACE- पूर्ण है: नियमित अभिव्यक्ति को देखते हुए , करता है एल ( β ) = Σ * ?ββ\betaL(β)=Σ∗L(β)=Σ∗L(\beta) = \Sigma^* अन्य (निश्चित) नियमित अभिव्यक्तियों लिए समानता का निर्धारण करने के बारे में क्या ?αα\alpha नियमित अभिव्यक्ति को देखते हुए , L ( β …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

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

21 fl.formal-languages  automata-theory  proofs  grammars 

उदाहरण के लिए, प्रोग्रामिंग भाषाओं में एक्स-इन-एक्स कंपाइलर / दुभाषिया लिखना आम है, लेकिन अधिक सामान्य स्तर पर कई ज्ञात ट्यूरिंग-पूर्ण प्रणालियां खुद को प्रभावशाली तरीके से अनुकरण कर सकती हैं (जैसे कि कॉनवे के गेम ऑफ लाइफ में कॉन्वेंट गेम ऑफ लाइफ का अनुकरण करना )। तो मेरा सवाल …

20 computability  automata-theory  turing-machines 

एक परिमित वर्णमाला सिग्मा पर "परिपत्र" भाषाओं के निम्नलिखित वर्ग को परिभाषित करें। दरअसल, यह नाम डीएनए कंप्यूटिंग के क्षेत्र में उपयोग होने वाली एक अलग चीज को दर्शाने के लिए पहले से मौजूद है। AFAICT, यह भाषाओं का एक अलग वर्ग है। एक भाषा एल सभी शब्दों के लिए …

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

मैं निम्नलिखित अनुमान को साबित (या अस्वीकृत) करना चाहूंगा: अनुमान : एक दो काउंटर ऑटोमेटा (2CA) निम्नलिखित भाषा तय नहीं कर सकता है: n }एल = { एन ∣L={n∣L = \{ n \mid की त्रिगुट और बाइनरी अभ्यावेदन दोनों भी लंबाई या विषम लंबाई हैnnn}}\} एक 2CA आसानी से जांच …

19 automata-theory 

मैं अभी हाल ही में ट्यूरिंग मशीन के बारे में चर्चा कर रहा था, जब मुझसे पूछा गया, "क्या ट्यूरिंग मशीन ऑटोमेटा से निकली है, या यह दूसरी तरह है"? मुझे पाठ्यक्रम का उत्तर नहीं पता था, लेकिन मैं यह जानने के लिए उत्सुक हूं। ट्यूरिंग मशीन मूल रूप से …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

प्रश्न सरल और प्रत्यक्ष है: एक निश्चित , कितनी (अलग-अलग) भाषाओं को आकार n (अर्थात n राज्यों) के DFA द्वारा स्वीकार किया जाता है ? मैं औपचारिक रूप से यह बताऊंगा:nnnnnnnnn के रूप में एक DFA को परिभाषित करें , जहां सब कुछ सामान्य और के रूप में है δ …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

यदि एक स्ट्रिंग एक डीएफए के किसी भी राज्य को एक ही राज्य में भेजती है तो डीएफए में एक सिंक्रोनाइज़िंग शब्द होता है। एएन ट्रैथमैन (असतत गणित और सैद्धांतिक कंप्यूटर विज्ञान खंड 9: 2, 2007, pp.3-10) द्वारा 'द कर्नी कॉनक्योर फॉर एपेरियोडिक ऑटोमेटा' में उन्होंने लिखा। 1964 में Cerny …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

नियमित अभिव्यक्ति के अधिकांश आधुनिक कार्यान्वयन, जैसे कि perl या .NET में हैं, लुकहेड और लुकबाइंड जैसी सुविधाओं के साथ REGEX की शास्त्रीय कंप्यूटर विज्ञान परिभाषा से परे हैं। क्या ये विशेषताएं उन्हें ऐसे बयान देने देती हैं जिन्हें एक परिमित, गैर-पुशडाउन ऑटोमेटन के साथ वर्णित नहीं किया जा सकता …

19 automata-theory  regular-expressions  fl.formal-languages