regular-language पर टैग किए गए जवाब

यहां माना जाने वाला ट्रांसड्यूसर वे विकिपीडिया कॉल परिमित राज्य ट्रांसड्यूसर हैं । एक ट्रांसड्यूसर का व्यवहार , अर्थात, वह संबंध, जिसकी गणना करता है, लिखा जाता है [ T ] : एक शब्द y x iff x [ T ] y के लिए एक आउटपुट है ।टीTT[ टी][T][T]yyyएक्सxxx [ …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

एक डीएफए या एनएफए एक स्ट्रिंग के साथ एक इनपुट हेड के माध्यम से पढ़ता है, बाएं से दाएं चलता है। ऐसा लगता है कि परिमित-राज्य मशीनों के बारे में आश्चर्य करना स्वाभाविक है , जिनके कई सिर हैं , जिनमें से प्रत्येक बाएं से दाएं इनपुट से गुजरता है, …

10 fl.formal-languages  automata-theory  regular-language  nfa 

चलो 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 

एक निश्चित भाषा के लिए एलLL कुछ वर्णमाला पर एAAआइए हम निम्नलिखित समस्या पर विचार करें, जिसे मैं कहता हूं एलLL-विश्लेषण : इनपुट: दो शब्द यू , वी ∈ए*u,v∈A∗u, v \in A^* आउटपुट: क्या कोई इंटरलेविंग मौजूद हैयूuu तथा vvv जो की अंदर है एलLL। यहां, दो शब्दों की एक …

9 cc.complexity-theory  reference-request  regular-language 

एक पूर्ण 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 

चलो L⊆A∗L⊆A∗L \subseteq A^* एक भाषा हो, और परिभाषित करें fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} द्वारा fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 iff x⋅y∈Lx⋅y∈Lx\cdot y \in L। मैं इसके लिए एक संदर्भ खोज रहा हूं: प्रस्ताव। LLL नियतात्मक संचार जटिलता के नियमित होने पर fLfLf_L स्थिर है। दूसरे शब्दों में, …

9 reference-request  communication-complexity  regular-language 

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

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