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

मेरे कम्प्यूटिंग थ्योरी कोर्स में, परिमित ऑटोमेटा के बारे में बयान साबित करने के लिए इनपुट स्ट्रिंग की लंबाई पर इंडक्शन का उपयोग करते हुए हमारी बहुत सी समस्याएं शामिल हैं। मैं गणितीय इंडक्शन को समझता हूं, हालांकि जब स्ट्रिंग्स चलन में आती हैं तो मैं असली में फंस जाता …

20 automata  finite-automata  proof-techniques  reference-question  induction 

सभी गैर-नियतात्मक परिमित ऑटोमेटा को बराबर नियतात्मक परिमित ऑटोमेटा में बदल दिया जा सकता है। हालाँकि, एक नियत परिमित ऑटोमेटा केवल एक तीर को एक राज्य से इंगित करने वाले प्रति प्रतीक की अनुमति देता है। इसलिए, इसके राज्यों को एनएफए के राज्यों के शक्ति सेट के सदस्य होने चाहिए। …

20 automata  finite-automata  nondeterminism 

मैंने सेलुलर ऑटोमेटा में नियम 110 के लिए विकिपीडिया पृष्ठ पढ़ा है , और मुझे कम या ज्यादा पता है कि वे कैसे काम करते हैं (नियमों का एक सेट यह तय करता है कि अगले 1 या 0 को कहां ड्रा करना है)। मैंने अभी पढ़ा है कि वे …

19 computability  automata  turing-completeness  cellular-automata 

चलो एल = { एn| ∃पी ≥ n पी, पी + 2 प्राइम } हैं । एल={एn|∃पी≥n पी, पी+2 प्राइम हैं}।\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. क्या नियमित है?एलएलL यह प्रश्न पहली नज़र में संदेहास्पद लग रहा था और मुझे एहसास हुआ कि …

19 formal-languages  automata  regular-languages  finite-automata 

मैं निम्नलिखित प्रश्न पर अटका हुआ हूं: "नियमित भाषाओं ठीक उन परिमित ऑटोमेटा द्वारा स्वीकार किए जाते हैं इस तथ्य को, बताते हैं कि अगर भाषा को देखते हुए। LLL कुछ परिमित automaton द्वारा स्वीकार किया जाता है, तो LRLRL^{R} भी कुछ परिमित द्वारा स्वीकार कर लिया जाता है, LRLRL^{R} …

19 formal-languages  regular-languages  automata  finite-automata 

क्या मानक ट्यूरिंग की तुलना में रिक्त कोशिकाओं पर लिखने की क्षमता के बिना एक ट्यूरिंग मशीन कम शक्तिशाली है? मुझे लगता है कि उत्तर हां है, लेकिन मैं एक गणना नहीं पा रहा हूं जो मानक ट्यूरिंग मशीन कर सकती है लेकिन यह मशीन नहीं कर सकती है। कोई …

18 formal-languages  turing-machines  computability  automata 

क्या एक संदर्भ-मुक्त व्याकरण में एक ऑटोमेटन से "मृत अवस्थाएं" शामिल हो सकती हैं, जैसे कि G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? उत्पादन नियम और सी → सी सी हमेशा के लिए लूप करेंगे और कभी भी एक शब्द …

18 context-free  automata  formal-grammars 

ट्यूरिंग मशीन (टीएम) की प्राथमिक परिभाषा, कम से कम मेरे स्वयं के संदर्भ पाठ्यपुस्तक (हॉपक्रॉफ्ट + उलेमन 1979) में नियतात्मक है। इसलिए हॉल्टिंग समस्या के बारे में मेरी अपनी समझ मुख्य रूप से निर्धारक टीएम के लिए है, हालांकि मैं जानता हूं कि इसे अन्य प्रकार के ऑटोमेटा के लिए …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

उदाहरण के लिए जब हम एक डीएफए पर विचार करते हैं जो स्ट्रिंग्स को न तो उप स्ट्रिंग की अनुमति देता है 00या 11मैं निम्नलिखित दो डीएफए का उत्पादन कर सकता हूं:

17 automata  finite-automata 

मैंने डिजिटल अनुक्रमिक सर्किट डिजाइनों में एफएसएम का उपयोग किया है। लेकिन मैं Finite Automata से अपरिचित हूं। क्या कोई मुझे दोनों के बीच 'बुनियादी' अंतर समझने में मदद कर सकता है?

16 terminology  automata  finite-automata 

अगर यह भी संभव है, के बाद से मैं सोच रहा हूँ {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} । इसलिए एक पीडीए है कि एक शब्द भेद कर सकते हैं w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} के बाकी हिस्सों से {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} के साथ-साथ, इसे स्वीकार हो …

16 formal-languages  automata  context-free  pushdown-automata 

नियतात्मक परिमित ऑटोमोटन (डीएफए) एक राज्य मशीन मॉडल है जो सभी और केवल नियमित भाषाओं को स्वीकार करने में सक्षम है। DFAs (और आमतौर पर) इस तरह से परिभाषित किए जा सकते हैं कि प्रत्येक राज्य को इनपुट वर्णमाला के सभी तत्वों के लिए कुछ संक्रमण प्रदान करना होगा; दूसरे …

16 formal-languages  automata  finite-automata 

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

16 formal-languages  automata  closure-properties 

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

15 computability  automata 

क्या रैखिक बाउंड ऑटोमेटा (खाली सेट भाषा की चाल से बचना) के अविशिष्ट गुण हैं? नियतात्मक परिमित ऑटोमेटन के बारे में क्या? (अलग रख दें)। मैं स्पष्ट रूप से ट्यूरिंग मशीनों का उपयोग किए बिना परिभाषित किया गया है कि एक अनिर्णायक समस्या का एक उदाहरण (यदि संभव हो) प्राप्त …

15 computability  automata  undecidability