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

एक नियमित भाषा M के साथ एक संदर्भ मुक्त भाषा L का चौराहा, हमेशा संदर्भ मुक्त कहा जाता है। मैं क्रॉस प्रोडक्ट कंस्ट्रक्शन प्रूफ को समझ गया था, लेकिन मुझे अभी भी नहीं पता कि यह संदर्भ मुक्त क्यों है लेकिन नियमित नहीं है। ऐसे चौराहे से उत्पन्न भाषा में …

16 regular-languages  context-free  finite-automata  formal-grammars 

Brzozowski का DFA न्यूनतमकरण एल्गोरिथ्म DFA लिए न्यूनतम DFA बनाता GGGहै: में सभी किनारों पीछे GGG , प्रारंभिक अवस्था बनाने एक राज्य स्वीकार करते हैं, और एक NFA पाने के लिए प्रारंभिक राज्यों स्वीकार करते हैं, N′N′N' रिवर्स भाषा के लिए, Powerset निर्माण का उपयोग कर पाने के लिए G′G′G' …

16 algorithms  finite-automata  runtime-analysis 

हाल ही में एक दिलचस्प सवाल पूछा गया और बाद में हटा दिया गया। एक नियमित भाषा LLL , इसकी DFA जटिलता इसे स्वीकार करने वाले न्यूनतम DFA के आकार की है, और इसकी NFA जटिलता न्यूनतम NFA को स्वीकार करने का आकार है। यह सर्वविदित है कि दो जटिलताओं …

15 regular-languages  finite-automata 

एक भाषा को देखते हुए LLL , की लंबाई सेट को परिभाषित LLL में शब्दों की लंबाई के सेट के रूप में LLL : LS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} पूर्णांकों का कौन सा सेट एक नियमित भाषा की लंबाई सेट हो सकता है?

15 formal-languages  computability  regular-languages  finite-automata 

मेरे मन में इस तरह का [मज़ाकिया] सवाल है। गैर-नियतात्मक परिमित ऑटोमोटन को गैर-नियतात्मक क्यों कहा जाता है जबकि हम आदानों के लिए संक्रमण को परिभाषित करते हैं। ठीक है, भले ही कई और एप्सिलॉन संक्रमण हैं, उन्हें परिभाषित किया गया है जिसका अर्थ है कि मशीन उन संक्रमणों के …

14 finite-automata  nondeterminism 

यह देखते हुए एक वर्णमाला Σ={a,b}Σ={a,b}\Sigma = \{ a,b \} , कितने अलग अलग सुव्यवस्थित भाषाओँ वहाँ है कि एक के द्वारा स्वीकार किया जा सकता है nnn -state गैर नियतात्मक परिमित automaton? एक उदाहरण के रूप में, हम विचार करते हैं n=3n=3n=3। तब हमारे पास 2182182^{18} अलग-अलग संक्रमण कॉन्फ़िगरेशन …

14 formal-languages  regular-languages  finite-automata  combinatorics 

मुझे पता है कि हम समकक्ष राज्यों को खोजने और विलय करके डीएफए को कम कर सकते हैं, लेकिन हम एनएफए के साथ ऐसा क्यों नहीं कर सकते हैं? मैं एक प्रमाण या उस जैसी किसी चीज़ की तलाश में नहीं हूँ - जब तक कि कोई प्रमाण समझने में …

14 complexity-theory  finite-automata  nondeterminism 

मैं यह जानना चाहता हूं कि क्या निम्न समस्या विकट है: उदाहरण: एन राज्यों के साथ एक एनएफए ए प्रश्न: क्या कुछ अभाज्य संख्या p मौजूद है जैसे A, लंबाई के कुछ तार p को स्वीकार करता है। मेरा मानना ​​है कि यह समस्या असाध्य है, लेकिन मैं इसे साबित …

14 computability  finite-automata 

मैं ऑटोमेटा पर पकड़ के साथ प्रोग्रामर हूं, लेकिन तर्क पर नहीं। मैंने कागजों में पढ़ा कि दोनों बहुत कसकर संबंधित हैं। नियतात्मक परिमित ऑटोमेटा (डीएफए), ट्री ऑटोमेटा और दृश्यमान पुशडाउन ऑटोमेटा सभी मोनाडिक सेकेंड ऑर्डर लॉजिक (एमएसओ) से संबंधित हैं। यद्यपि, मैं समझता हूं कि ऑटोमेटा और लोगों (कागजों …

14 automata  finite-automata  logic  coq  automated-theorem-proving 

मैं औपचारिक भाषाओं और उत्पादन आधार प्रणालियों (नियम-आधार प्रणाली) का अध्ययन कर रहा हूं और मैं थोड़ा उलझन में हूं कि ये दो शब्द "उत्पादन" और "नियम" का मतलब कंप्यूटर विज्ञान में इतने संदर्भ में एक ही बात क्यों है। अंग्रेजी भाषा में वे एक ही बात का मतलब नहीं …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

कल मेरी प्रस्तुति है और मैं अपनी अवधारणाओं को स्पष्ट करना चाहता हूं ... मैंने पढ़ा है कि डीएफए में, "प्रत्येक राज्य के लिए, सभी संभावित प्रतीकों (वर्णमाला) पर संक्रमण को परिभाषित किया जाना चाहिए।" क्या प्रत्येक राज्य के लिए, डीएफए में सभी संभव प्रतीकों पर संक्रमण को परिभाषित करना …

13 automata  finite-automata  nondeterminism 

मैंने सिर्फ गणना के सिद्धांत के बारे में पढ़ना शुरू किया। अगर हम तुलना करें कि कौन अधिक शक्तिशाली है (तार को स्वीकार करने में), दोनों समान हैं। लेकिन दक्षता के बारे में क्या? DFA NFA की तुलना में तेज़ होगा, क्योंकि इसमें केवल एक आउटगोइंग एज है और कोई …

13 finite-automata  efficiency  nondeterminism 

उद्देश्य एक नियमित अभिव्यक्ति से डीएफए बनाना है और "रेगुलर एक्सपी> एनएफए> डीएफए रूपांतरण" का उपयोग करना एक विकल्प नहीं है। ऐसा करने के बारे में कैसे जाना चाहिए? मैंने यह सवाल हमारे प्रोफेसर से पूछा लेकिन उन्होंने मुझे बताया कि हम अंतर्ज्ञान का उपयोग कर सकते हैं और कृपया …

12 automata  finite-automata  regular-expressions  simulation 

नीचे दी गई तस्वीर में, मैं यह पता लगाने की कोशिश कर रहा हूं कि वास्तव में यह एनएफए क्या स्वीकार कर रहा है। क्या मुझे भ्रमित कर रहा है पर कूद है ।क्ष ०ϵϵ\epsilonq0q0q_0 यदि कोई दर्ज किया गया है, तो क्या सिस्टम और (स्वीकार राज्य) दोनों पर ?कु …

12 automata  finite-automata  nondeterminism 

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

12 complexity-theory  formal-languages  reference-request  automata  finite-automata