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

ऑटोमेटा सिद्धांत, जिसमें अमूर्त मशीनें, व्याकरण, पार्सिंग, व्याकरणिक अनुमान, ट्रांसड्यूसर और परिमित-राज्य तकनीक शामिल हैं

3
कैसे साबित करें कि एलटीएल में एक फार्मूला व्यक्त नहीं किया जा सकता है, लेकिन बुची ऑटोमेटा में हो सकता है?
मैं एक सामान्य तकनीक की तलाश में हूं जो मुझे यह साबित करने में मदद कर सके कि बुची ऑटोमेटा एलटीएल की तुलना में अधिक अभिव्यंजक मॉडल है, लेकिन यह कि विशिष्ट सूत्र एलटीएल में व्यक्त नहीं किया जा सकता है। उदाहरण के लिए, " कम से कम पदों पर …
1
डीएफए आकार के एक समारोह के रूप में नियमित भाषाओं में तुल्यता वर्गों की संख्या
यह सवाल हाल ही में जेनोमा के एक सवाल से संबंधित है । पृष्ठभूमि बाधा प्रोग्रामिंग में, एक नियमित रूप से वैश्विक बाधा एक डोमेन पर एक जोड़ी है के साथ चर का एक टपल (गुंजाइश) और एक DFA डोमेन पर । एक काम को संतुष्ट अगर स्ट्रिंग को स्वीकार …
1
एक PDA M को देखते हुए कि L (M) DCFL में एक DPDA N का निर्माण करता है जैसे L (N) = L (M)
क्या एक एल्गोरिथ्म का निर्माण संभव है जो इनपुट के रूप में एक पुशडाउन ऑटोमैटन के साथ लेता है इस वादे के साथ कि इस ऑटोमेटोन द्वारा स्वीकार की गई भाषा एक नियतात्मक संदर्भ-मुक्त भाषा है और एक नियतात्मक पुशडाउन ऑटोमेटन आउटपुट करती है जो स्वीकार की गई भाषा को …
1
एहेनरेफ़ुच-फ्राउसे गेम्स (वास्तव में अज़ताई-फ़ागिन) नियमित भाषाओं के लिए।
Immerman (वर्णनात्मक जटिलता, 1999) प्रस्तुत एफई पेज 127. के रूप में पर अस्तित्व monadic दूसरा आदेश (Ajtai-फेगिन खेल) के लिए खेल शब्दों पर एमएसओ नियमित भाषाओं के बराबर है, खेल के रूप में निम्नानुसार लिखा जा सकता है।∃∃\exists एक भाषा नियमित रूप से यदि और केवल यदि दलीला निम्नलिखित खेल …
2
2DFA कि समकक्ष DFA में कई राज्यों की आवश्यकता है?
क्या राज्यों के साथ 2DFA है (जहाँ n n n n nrivrivial है, कम से कम 4 कहें) जिसे किसी DFA का उपयोग करके अनुकरण करने के लिए कम से कम 2 n राज्यों की आवश्यकता है ?nnnnnn2n2n2^n एक दो-तरफा DFA (2DFA) एक नियत परिमित-राज्य ऑटोमेटोन है जिसे परिमित-राज्य ऑटोमेटा …
1
क्या यह निर्णायक है कि एक ट्रांसड्यूसर की आउटपुट लंबाई इनपुट लंबाई से बंधी है या नहीं?
यहां माना जाने वाला ट्रांसड्यूसर वे विकिपीडिया कॉल परिमित राज्य ट्रांसड्यूसर हैं । एक ट्रांसड्यूसर का व्यवहार , अर्थात, वह संबंध, जिसकी गणना करता है, लिखा जाता है [ T ] : एक शब्द y x iff x [ T ] y के लिए एक आउटपुट है ।टीTT[ टी][T][T]yyyएक्सxxx [ …
1
प्रतिलिपि भाषा की राज्य जटिलता क्या है?
एक नंबर दिया जाए। निम्नलिखित भाषा पर विचार करें L n = {nnn ।एलn= {डब्ल्यू डब्ल्यू|डब्ल्यू ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} शब्दों में, लंबाई 2 n के कॉपी स्ट्रिंग का सेट है ।एलnLnL_n2 एन2n2n पर विचार करें …
2
शब्दों की सूची अलग करना
पृथक्करण समस्या के रूप में जानी जाने वाली औपचारिक भाषाओं में एक खुली समस्या है; जिसे संक्षेप में लंबाई दो अलग-अलग तारों के रूप में कहा गया है, उन्हें अलग करने के लिए DFA की कितनी बड़ी आवश्यकता है, मतलब एक स्ट्रिंग को स्वीकार करें लेकिन दूसरे को अस्वीकार करें।nnn …
2
क्या नियमित भाषाएं इसके अतिरिक्त बंद हैं?
विशेष रूप से मैं क्या इसके मतलब है, हम परिभाषित वर्णमाला होने के लिए { 0 , 1 , 2 , । । । , मैं } । यह देखते हुए नियमित भाषाओं एक और बी कुछ वर्णमाला के तहत Σ मैं , पर नज़र एक × बी ।ΣमैंΣi\Sigma_i{ 0 …
2
कम से कम ऑटोमेटा स्वीकार करने
बुच्ची-ऑटोमेटा (या मुलर-ऑटोमेटा) को कम करने के लिए मानक दृष्टिकोण क्या है? परिमित शब्दों से सामान्य तकनीक को स्थानांतरित करना, अर्थात दो राज्यों को समान होना यदि राज्य स्वीकार किए गए "रनिंग आउट" शब्द समान हैं, तो काम नहीं करेगा। उदाहरण के लिए, बुची-ऑटोमोटन सभी शब्दों को स्वीकार करने के …
2
स्थानीय ऑटोमेटा के राज्यों की संख्या
एक नियतात्मक automaton एक = ( एक्स , क्यू , क्यू 0 , एफ , δ )A=(X,Q,q0,F,δ)\mathcal A = (X, Q, q_0, F, \delta) कहा जाता है कश्मीरkk -local के लिए कश्मीर > 0k>0k > 0 हर के लिए अगर डब्ल्यू ∈ एक्स कश्मीरw∈Xkw \in X^k सेट { δ ( …
1
पूर्व और उपसर्ग के तहत असंदिग्ध संदर्भ-मुक्त भाषाओं को बंद करना।
चलो एक विषय से मुक्त भाषा हो। परिभाषित करें पी पी सी ( एल ) के पूर्व और पोस्टफ़िक्स बंद होने के लिए एल दूसरे शब्दों में,, पी पी सी ( एल ) के सभी शामिल हैं एल के उपसर्गों और postfixes, और इसलिए एल ही। मेरा प्रश्न: यदि L …
2
उल्लेखनीय नियमित अभिव्यक्ति ऑटोमेटा की वर्गीकरण
मैं आटोमोटिव में नियमित अभिव्यक्ति को बदलने के लिए एल्गोरिदम का एक वर्गीकरण तैयार करने की कोशिश कर रहा हूं ताकि विशिष्ट डोमेन में उनकी जटिलता गुणों के कुछ अनुभवजन्य परीक्षण किए जा सकें। मुझे 'बड़े' नामों में से कई के बारे में पता है, जैसे, थॉम्पसन "रेगुलर एक्सप्रेशन सर्च …
5
ऑटोमेटा सिद्धांत / औपचारिक भाषा थीसिस विषय
हे सब, मैं वर्तमान में ऑटोमेटा सिद्धांत या औपचारिक भाषाओं से संबंधित कुछ शाखा से संबंधित एक ठोस मास्टर्स थीसिस विषय खोजने की कोशिश कर रहा हूं। मैं एक अच्छे विषय के लिए कुछ अच्छे विचार उत्पन्न करने की कोशिश कर रहा हूँ, एक ही समय में कुछ महत्वाकांक्षी लेकिन …
1
भाषाओं की किस श्रेणी को परिमित-राज्य ऑटोमेटा द्वारा मान्यता प्राप्त है
एक डीएफए या एनएफए एक स्ट्रिंग के साथ एक इनपुट हेड के माध्यम से पढ़ता है, बाएं से दाएं चलता है। ऐसा लगता है कि परिमित-राज्य मशीनों के बारे में आश्चर्य करना स्वाभाविक है , जिनके कई सिर हैं , जिनमें से प्रत्येक बाएं से दाएं इनपुट से गुजरता है, …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.