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

मैं जानना चाहता हूं कि क्या निम्नलिखित समस्या विकट है और इसका कैसे पता लगाया जाए। मेरे द्वारा देखी जाने वाली प्रत्येक समस्या को मैं "हां" या "नहीं" कह सकता हूं, इसलिए कुछ को छोड़कर अधिकांश समस्याएं और एल्गोरिदम निर्णायक हैं (जो यहां प्रदान की गई हैं )? इनपुट: एक …

17 algorithms  computability  graph-theory  undecidability 

एन-बॉडी समस्या के लिए कोई सामान्य विश्लेषणात्मक समाधान नहीं है जो एक विश्लेषणात्मक फ़ंक्शन का उत्पादन कर सकता है जिसका उपयोग सटीक सटीकता के साथ मनमाने समय टी में एन-बॉडी सिस्टम की स्थिति देने के लिए किया जा सकता है। हालांकि, एन-बॉडी सिस्टम के कुछ विशेष मामले हैं जिनके लिए …

16 computability  turing-machines  undecidability  computation-models 

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

16 computability  undecidability  pushdown-automata 

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

15 computability  automata  undecidability 

यह ज्ञात है कि 0 और 1 के समान संख्या वाले शब्दों की भाषा नियमित नहीं है, जबकि 001 और 100 की समान संख्या वाले शब्दों की भाषा नियमित है ( यहां देखें )। दो शब्दों को देखते हुए डब्ल्यू 1 , डब्ल्यू 2w1,w2w_1,w_2 , यदि की संख्या के बराबर …

14 regular-languages  undecidability 

मेरे पास ये प्रश्न हैं कि मैं एक पुरानी परीक्षा से हल करने की कोशिश कर रहा हूं। प्रत्येक समस्या के लिए, इनपुट कुछ ट्यूरिंग मशीन का एन्कोडिंग है MMM। पूर्णांक c>1c>1c>1 और निम्नलिखित तीन समस्याओं के लिए: क्या यह सच है कि हर इनपुट xxx , M पास नहीं …

14 computability  turing-machines  undecidability 

मुझे आश्चर्य है कि कैसे आता है कि निम्नलिखित भाषा आरआर\mathrm R । एलम1= { ⟨ एम2⟩||म2 एक TM है, और L ( M) है1) = एल ( एम2) , और | ⟨ एम1⟩ | > | ⟨ एम2⟩ | }एलम1={⟨म2⟩|म2 एक टीएम है, और एल(म1)=एल(म2), तथा |⟨म1⟩|>|⟨म2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; …

14 computability  undecidability 

बहुत सारी "प्रसिद्ध" अकल्पनीय समस्याएं कम से कम अर्ध-विचारणीय हैं, उनके पूरक के अयोग्य होने के साथ। इन सबसे ऊपर एक उदाहरण है, हॉल्टिंग की समस्या और इसका पूरक। हालाँकि, क्या कोई मुझे एक उदाहरण दे सकता है जिसमें कोई समस्या और उसका पूरक दोनों ही अनिर्णायक हैं और क्या …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

मैं सोच रहा हूं कि क्या समस्या की निर्णायकता एक निर्णायक समस्या है। मैं अनुमान नहीं लगा रहा हूं, लेकिन शुरुआती खोजों के बाद मुझे इस समस्या पर कोई साहित्य नहीं मिल रहा है।

13 computability  undecidability  decision-problem 

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

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

मैं संदर्भ-संवेदनशील भाषा की विकिपीडिया परिभाषा से गुजर रहा था और मैंने यह पाया: भाषाओं की प्रत्येक श्रेणी सीधे ऊपर की श्रेणी का एक उचित उपसमुच्चय है। किसी भी ऑटोमेटन और प्रत्येक श्रेणी के किसी भी व्याकरण में इसके ठीक ऊपर की श्रेणी में एक समान ऑटोमेटन या व्याकरण होता …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

क्या ऐसी असंदिग्ध भाषाएँ मौजूद हैं जैसे कि उनका मिलन / अंतरजाल / सुरीली भाषा निर्णायक है? इस तरह के उदाहरण की भौतिक व्याख्या क्या है क्योंकि सामान्य तौर पर, इन कार्यों के तहत अयोग्य भाषाएं बंद नहीं होती हैं? क्लेन बंद होने के बारे में हम क्या कह सकते …

12 formal-languages  undecidability  closure-properties 

मैं हाल ही में एक सवाल का जवाब पढ़ रहा था, और अजीब तरह का, मन में सोचा था। मेरा यह पूछना या तो विश्वासघात हो सकता है कि मेरे सिद्धांत चॉप्स की कमी है (ज्यादातर सच है) या यह कि मेरे लिए अभी इस साइट को पढ़ना जल्दबाजी होगी। …

12 turing-machines  undecidability  halting-problem 

क्या अनिर्णायक समस्याओं का अस्तित्व भौतिक प्रणालियों की गैर-अनुमानितता को तुरंत प्रभावित करता है? हमें रोकने की समस्या पर विचार करें, पहले हम एक भौतिक UTM का निर्माण करते हैं, सामान्य सर्किट आधारित निर्माण का उपयोग करते हुए कहते हैं। फिर कोई भी निर्णायक भौतिक सिद्धांत नहीं हो सकता है …

11 computability  turing-machines  undecidability  physics 

क्षमा करें, यदि इस प्रश्न का कुछ तुच्छ उत्तर है जो मुझे याद आ रहा है। जब भी मैं कुछ ऐसी समस्या का अध्ययन करता हूं जो कि अनिर्दिष्ट साबित हुई है, तो मैं देखता हूं कि प्रमाण एक अन्य समस्या को कम करने पर निर्भर करता है जो कि …

11 computability  reductions  undecidability