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

मान लीजिए कि आपको ऑटोमेटा नीचे दो नियतात्मक धक्का दिया जाता है जो भाषा और पहचानते हैं , और यह निर्धारित करने की इच्छा रखते हैं कि क्या कोई नियमित भाषा जैसे कि और । मूल रूप से, चुनौती यह निर्धारित करने के लिए है कि क्या कोई डीएफए है …

12 automata-theory 

मैं क्वांटम ऑटोमेटा के क्षेत्र में महत्वपूर्ण अवधारणाओं के एक सर्वेक्षण पत्र की तलाश कर रहा हूं। मैंने क्वांटम आटोमेटा थ्योरी - ए रिव्यू बाय हिरवेन्सालो पाया है, लेकिन इस विषय को समझने के लिए बहुत अच्छा लगता है। क्वांटम ऑटोमेटा के विषय पर काफी व्यापक सर्वेक्षण है? इसके अलावा, …

12 reference-request  quantum-computing  automata-theory 

Let एक निरंतर हो। हम कैसे जानबूझकर एक pseudorandom जनरेटर का निर्माण कर सकते हैं जो -state परिमित ऑटोमेटा को मूर्ख बनाता है?dघddघdd यहाँ, एक -स्टेट परिमित ऑटोमेटा में नोड्स, एक स्टार्ट नोड, स्वीकृत राज्यों का प्रतिनिधित्व करने वाले नोड्स का एक सेट है, और प्रत्येक नोड से निकलने वाले …

12 automata-theory  pseudorandomness  pseudorandom-generators 

अवशिष्ट परिमित राज्य ऑटोमेटा (RFSAs, [DLT02] में परिभाषित) NFA हैं जो DFA के साथ आम तौर पर कुछ अच्छी विशेषताएं हैं। विशेष रूप से, हर नियमित भाषा के लिए हमेशा एक विहित न्यूनतम आकार का RFSA होता है, और RFSA में प्रत्येक राज्य द्वारा मान्यता प्राप्त भाषा एक डीएफए की …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

मैं वर्तमान में कुछ औपचारिक भाषा अनुसंधान कर रहा हूं जिसमें नियमित से ऊपर की भाषाएं शामिल हैं लेकिन संदर्भ मुक्त से नीचे। मैं रिवर्सल-बाउंडेड मल्टीकाउंटर मशीन, सिंगल-स्टैक काउंटर मशीन, निर्धारक सीएफएल आदि जैसी चीजों को देख रहा हूं। अगर कोई अच्छी किताब या सर्वेक्षण पत्र जानता है जो इन …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

इस प्रश्न से प्रेरित , मैं निम्नलिखित के बारे में उत्सुक हूं: यह जाँचने की सबसे खराब स्थिति क्या है कि क्या कोई दिया गया DFA उसी भाषा को एक नियमित अभिव्यक्ति के रूप में स्वीकार करता है? क्या यह ज्ञात है? आशा यह होगी कि यह समस्या पी में …

12 automata-theory  lg.learning  regular-expressions  dfa 

क्या कोई व्यक्ति दो समान (समान भाषा को पहचानते हुए) न्यूनतम गैर-नियतात्मक ऑटोमेटा (एनएफए) का उदाहरण प्रदान कर सकता है जो आइसोमॉर्फिक नहीं हैं?

12 fl.formal-languages  automata-theory 

की अभिव्यक्ति बीच क्या संबंध है LTL , बुची / QPTL , सीटीएल और सीटीएल * ? क्या आप कुछ संदर्भ दे सकते हैं जो इन अस्थायी लौकिकों में से कई को कवर करते हैं (विशेष रूप से रैखिक- और शाखा-समय के बीच)? उन लौकिक लॉजिक्स और उदाहरण के रूप …

12 lo.logic  automata-theory  model-checking  temporal-logic 

एक एमपीए (मल्टीएबल ऑटोमेटोन) एक 2DFA (दो-तरफा नियतात्मक परिमित ऑटोमोटन) है जो किसी दिए गए इनपुट w पर कंकड़ की वास्तव में संख्या का उपयोग कर सकता है (वास्तव में कंकड़ - इनपुट दो छोर के बीच टेप पर लिखा गया है। -मार्कर्स # w # के रूप में )। …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

कहो एक एक भाषा है , लेकिन एक नहीं जानता है कि क्या वास्तव में तार भाषा का हिस्सा हैं। सभी एक है भाषा की एक निश्चित दृश्य है: तार के एक परिमित सेट एक ⊆ एल उस भाषा में जाना जाता है, और तार के एक परिमित सेट बी …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

मैं निम्नलिखित गुणों के साथ एक भाषा L की तलाश में हूं: L को संदर्भ-मुक्त नहीं होना चाहिए। L का पूरक संदर्भ-मुक्त नहीं होना चाहिए। (पाठ्यपुस्तकों में आप जो कुछ भी देखते हैं, गैर-संदर्भ-मुक्त भाषाओं के प्रमुख उदाहरण इस दूसरी आवश्यकता को विफल करते प्रतीत होते हैं।) एल बहुत कठिन …

12 fl.formal-languages  automata-theory 

एक परिमित वर्णमाला पर शब्दों का एक सेट उपसर्ग-मुक्त है अगर कोई दो अलग-अलग शब्द नहीं हैं जहां एक दूसरे का उपसर्ग है। प्रश्न है: यह जाँचने की जटिलता क्या है कि एनएफए के रूप में दी जाने वाली एक नियमित भाषा में एक अनंत उपसर्ग-रहित उपसमुच्चय है? उत्तर (मिखाइल …

11 fl.formal-languages  automata-theory  prefix-free-code  nfa 

संबंधित प्रश्न को पढ़ने के बाद , एल्गोरिदम के गैर-रचनात्मक अस्तित्व के प्रमाणों के बारे में, मैं सोच रहा था कि क्या वास्तव में इसका निर्माण किए बिना "छोटे" (कहते हैं, राज्य-वार) कम्प्यूटेशन मशीनों के अस्तित्व को दिखाने के तरीके हैं। औपचारिक रूप से: मान लें कि हमें कुछ भाषा …

11 cc.complexity-theory  automata-theory  turing-machines 

वन-वे अल्टरनेटिव पुशडाउन ऑटोमेटा (1APDA) (चंद्रा, कोजेन और स्टॉकमेयेर, 1981 द्वारा वैकल्पिक में किसी भी भाषा को पहचान सकते हैं । एक काउंटर के साथ 1APDA के एक पुशडाउन स्टोरेज को बदलकर, हम एक-काउंटर (1ACA) के साथ एक-तरफा वैकल्पिक ऑटोमेटन प्राप्त कर सकते हैं। मेरा सवाल 1 भाषाओं पर लगभग …

11 automata-theory  counter-automata  unary-languages 

मेरे सभी पाठ्यपुस्तक एक डीएएफए को रीजेक्स दिए जाने के लिए एक ही एल्गोरिदम का उपयोग करते हैं: सबसे पहले, एक एनएफए बनाएं जो रेगेक्स की भाषा को पहचानता है, फिर, सबसेट (उर्फ "पॉवरसेट") निर्माण का उपयोग करते हुए, एनएफए को एक समान डीएफए में परिवर्तित करें ( वैकल्पिक रूप …

11 automata-theory  regular-expressions  dfa