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

इस का एक अनुवर्ती सवाल यह है कि इस एक । विदेशी राज्य मशीनों के बारे में पिछले प्रश्न में , एलेक्स दस ब्रिंक और राफेल ने एक अजीब तरह की राज्य मशीन की कम्प्यूटेशनल क्षमताओं को संबोधित किया: मिन-हीप ऑटोमेटा। वे यह दिखाने में सक्षम थे कि इस तरह …

15 formal-languages  automata  nondeterminism 

मैं आमतौर पर खाली स्ट्रिंग (खाली शब्द या अशक्त स्ट्रिंग) के लिए प्रतीक उपयोग करता हूं εε\varepsilon। लेकिन मैं जानता हूँ कि कुछ लोगों का उपयोग λλ\lambda के बजाय εε\varepsilon । मुझे लगता है कि εε\varepsilon "खाली" शब्द से लिया गया है। हालाँकि मुझे नहीं पता कि की उत्पत्ति क्या …

14 formal-languages  automata  reference-request  notation  history 

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

14 automata  pushdown-automata  nondeterminism 

मैंने पाया है कि अगर मैं सीएस / प्रोग्रामिंग शब्द के पीछे व्युत्पत्ति को नहीं समझता हूं, तो आमतौर पर इसका मतलब है कि मैंने कुछ महत्वपूर्ण अंतर्निहित अवधारणा को याद किया या गलत समझा है। मुझे समझ नहीं आता कि क्लेने स्टार को क्लेने क्लोजर क्यों कहा जाता है। …

14 automata  regular-expressions 

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

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

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

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

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

13 automata  finite-automata  nondeterminism 

दो एनपीडीए के प्रतिच्छेदन पर राफेल के सुझाव के लिए एप्रोपॉइस : चलो और NPDA के लिए विषय से मुक्त भाषाओं और क्रमश। यह मानते हुए कि हम जानते हैं कि संदर्भ-मुक्त है, क्या हम (प्रभावी रूप से) लिए NPDA निर्माण कर सकते हैं ?A1A1A_1A2A2A_2L1L1L_1L2L2L_2L=L1∩L2L=L1∩L2L = L_1 \cap L_2AAALLL किसी …

13 computability  automata  pushdown-automata 

मैंने विकिपीडिया और कुछ अन्य ग्रंथों में पढ़ा है रुकने की समस्या है [...] रेखीय बंधित ऑटोमेटा (LBA) [और] नियतात्मक मशीनों के साथ परिशोधित स्मृति के लिए। लेकिन इससे पहले यह लिखा गया है कि रुकने की समस्या एक असंदिग्ध समस्या है और इस प्रकार टीएम इसे हल नहीं कर …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

क्या गणित समूहों और सीएस औपचारिक भाषाओं या कुछ अन्य कोर सीएस अवधारणा जैसे ट्यूरिंग मशीनों से संबंधित या लिंक करने के लिए कुछ प्राकृतिक या उल्लेखनीय तरीका है ? मैं संदर्भ / आवेदन खोज रहा हूं। हालांकि ध्यान दें कि मैं सेमीफाइगर और सीएस भाषाओं (अर्थात् परिमित ऑटोमेटा के …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

मैं ऑटोमेटा में नया हूँ, और मुझे कल ही नियमित अभिव्यक्ति के लिए एक संक्षिप्त परिचय दिया गया है। मैंने विभिन्न नियमों को पढ़ा है जो एक नियमित अभिव्यक्ति को परिभाषित करते हैं। लेकिन मैं किसी भाषा के नियमित भावों और व्याकरण में अंतर करने में असमर्थ हूं (मुझे नियमित …

12 automata  formal-grammars  regular-expressions 

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

12 automata  finite-automata  regular-expressions  simulation 

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

12 automata  finite-automata  nondeterminism 

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

12 formal-languages  computability  regular-languages  turing-machines  automata 

इसलिए, मुझे पता है कि यदि एक नियमित भाषा , नियमित भाषा का सबसेट है, तो वह विचारणीय है, क्योंकि हम उन दोनों को DFA में परिवर्तित कर सकते हैं, गणना कर सकते हैं , और तब परीक्षण कर सकते हैं यदि यह भाषा खाली है।एस आर ∩ ˉ एसRRRSSSR∩S¯R∩S¯R …

12 algorithms  regular-languages  automata  np-complete  decision-problem