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

मुझे DFA के थोड़े सामान्यीकरण में दिलचस्पी है। हमेशा की तरह हमने राज्य-सेट , परिमित वर्णमाला , एक -चुंबकण को द्वारा परिभाषित किया है , और प्रारंभिक अवस्था ; लेकिन सामान्य टर्मिनल सेट के बजाय, हम के सबसेट के एक परिवार । एक बहु-भाषा डीएफए तब टपल हैQQQΣΣ\SigmaΣ∗Σ∗\Sigma^*QQQδ:Q×Σ→Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow …

10 automata-theory  dfa 

अद्यतन: ऐसा लगता है कि इस समस्या का अध्ययन और हाल ही में हल किया गया है, इस विकी लेख को देखें: http://en.wikipedia.org/wiki/Tree_walking_automaton और यह सर्वेक्षण भी: http://www.mimuw.edu.pl/~~V /papers/twasurvey.pdf मान लीजिए कि शब्दों के सामान्य सेट के बजाय, {0,1} *, हमारे शब्द रैखिक नहीं हैं, बल्कि कुछ पेड़ की संरचना …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

समस्या का विवरण : चलो एक (संभावित गैर नियतात्मक) पुशडाउन automaton हो सकता है और जाने होना अपने इनपुट वर्णमाला। क्या कोई शब्द st कि द्वारा स्वीकार किया जाता है ?MMMAA\cal Aw∈A∗w∈A∗w \in \cal A^*|w|≤k|w|≤k|w| \leq kMMM क्या यह समस्या एनपी-पूर्ण है? क्या इसका अध्ययन किया गया है? क्या कोई …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

क्या गणितीय विश्लेषण, निरंतर गणित का उपयोग करके औपचारिक भाषाओं की समस्याओं को हल करने पर कुछ परिणाम हैं। उदाहरण के लिए, एक संदर्भ-मुक्त भाषा और एक नियमित भाषा के लिए अंतर-शून्यता समस्या को हल करना।

9 fl.formal-languages  automata-theory  context-free 

चलो AAAएक बारीक अक्षर हो। किसी दी हुई भाषा के लिएL⊆A∗L⊆A∗L \subseteq A^{\ast}वाक्यात्मक monoid M(L)M(L)M(L)औपचारिक भाषा सिद्धांत में एक प्रसिद्ध धारणा है। इसके अलावा, एक monoidMMM एक भाषा को पहचानता है LLL अगर वहाँ एक रूपवाद मौजूद है φ:A∗→Mφ:A∗→M\varphi : A^{\ast} \to M ऐसा है कि L=φ−1(φ(L)))L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L)))। फिर …

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

एक पूर्ण DFA को देखते हुए , हम प्रत्येक लिए और साथ , कार्यों के संग्रह को परिभाषित कर सकते हैं । हम इस धारणा को शब्द और जहां फ़ंक्शन रचना को दर्शाता है। इसके अलावा हम निरूपित और monoid है।A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F)fafaf_aa∈Γa∈Γa\in \Gammafa:Q→Qfa:Q→Qf_a:Q\rightarrow Qfa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a)w=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_mfw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots …

9 automata-theory  regular-language  monoid 

चलो ΣΣ\Sigmaएक बारीक अक्षर हो। एक कोड XXX ऊपर ΣΣ\Sigma का सबसेट है Σ*Σ∗\Sigma^* ऐसे कि प्रत्येक शब्द में एक्स*X∗X^* में शब्दों के संयोजन के रूप में विशिष्ट रूप से प्रतिनिधित्व किया जा सकता है एक्सXX। एक संकेतवालीएक्सXXहै परिमित अगर| एक्स||X||X|परिमित है। (न्यूनतम) ऑटोमेटा पहचान के बारे में क्या ज्ञात …

9 automata-theory 

मैं थोड़ी देर के लिए ट्यूरिंग मशीनों के बारे में जानने के लिए उत्सुक हूं, जिसमें ठीक एक टेप और ठीक 3 स्टेट्स (यानी स्टार्ट स्टेट , स्टेट , और स्टेट )। ध्यान दें कि मैं मनमाने ढंग से (परिमित) टेप वर्णमाला की अनुमति देता हूं (यानी, टेप वर्णमाला इनपुट …

9 automata-theory  turing-machines  cellular-automata 

Let आकार का एक वर्णमाला है , और न्यूनतम DFAs पर विचार करें, जिसका आकार सबसे अधिक से घिरा है । चलो ऐसे विभिन्न न्यूनतम डीएफए की संख्या को दर्शाता है।ΣΣ\Sigma222mmmf(m)f(m)f(m) क्या हम लिए एक बंद-फॉर्मूला फॉर्मूला खोज सकते हैं ?f(m)f(m)f(m) यह ध्यान में रखते हुए के आकार का DFA …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

क्या बाउंड-विजिट नॉनडेर्मिनिस्टिक लीनियर बाउंडेड ऑटोमेटा केवल नियमित भाषाओं को पहचानती है? एक nondeterministic रैखिक बाउंड ऑटोमेटन (nLBA) से मेरा मतलब है कि एकल-टेप nondeterministic ट्यूरिंग मशीन है जहाँ इनपुट दोनों छोर पर एंडमार्कर्स के साथ "गद्देदार" आता है जिसे कभी भी अधिलेखित नहीं किया जा सकता है, और ताकि …

9 automata-theory  turing-machines  regular-language  space-bounded 

एक नियमित भाषा दी LLL वर्णमाला पर AAAइसकी न्यूनतम निर्धारक आटोमैटोन को निरंतर आउट-डिग्री के साथ निर्देशित कनेक्टेड मल्टीग्राफ के रूप में देखा जा सकता है |A||A||A|और एक प्रारंभिक प्रारंभिक अवस्था (संक्रमण के लेबल को भूलकर, अंतिम स्थिति)। हम प्रारंभिक स्थिति को बनाए रखते हैं क्योंकि प्रत्येक शीर्ष से इसे …

9 graph-theory  automata-theory 

डीएफए को समतुल्य न्यूनतम राज्य डीएफए में परिवर्तित करने के लिए ब्रोज़ोज़ोस्की का एल्गोरिदम उल्लेखनीय रूप से सरल है: यदि डीएफए में सभी किनारों को उलट कर बनाई गई एनएफए को निरूपित करता है , तो पुरानी शुरुआत राज्य को स्वीकार करने वाला राज्य बना देती है, और पुराने को …

9 automata-theory  minimization 

मुझे विशेष मामलों के लिए DFA चौराहे के लिए कुशल एल्गोरिदम में दिलचस्पी है। अर्थात्, जब DFAs को काटना एक निश्चित संरचना का पालन करता है और / या सीमित वर्णमाला पर काम करता है। क्या कोई स्रोत है जहां मैं एल्गोरिदम ऐसे मामलों को पा सकता हूं? प्रश्न को …

9 automata-theory  time-complexity  dfa 

मैं जानना चाहूंगा कि संदर्भ-मुक्त भाषाओं की मान्यता के लिए केवल गैर-नियतात्मक पुश-डाउन ऑटोमेटा (डीपीए = एनपीडीए) काम क्यों नहीं करता है। नियतात्मक पुश-डाउन ऑटोमेटा (DPDA) ऐसी भाषाओं को क्यों नहीं पहचानता है?

9 fl.formal-languages  automata-theory  context-free 

मेरे अनुभव में, संवेदी-संवेदनशील भाषाएं और रैखिक बाउंड ऑटोमेटा को अक्सर कम्प्यूटेबिलिटी थ्योरी पाठ्यक्रमों में छोड़ दिया जाता है, या यहां तक ​​कि कुछ उल्लेखनीय पाठ्य पुस्तकों से भी छोड़ दिया जाता है, हालांकि परिमित और पुशडाउन ऑटोमेटा पर बहुत ध्यान जाता है। निश्चित रूप से एक अच्छा कारण होना …

9 computability  fl.formal-languages  automata-theory