halting-problem पर टैग किए गए जवाब

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

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

क्या एक ट्यूरिंग मशीन मौजूद है जो सभी इनपुटों पर रुकती है लेकिन यह संपत्ति किसी कारण से साबित नहीं होती है? मैं सोच रहा हूं कि क्या इस सवाल का अध्ययन किया गया है। ध्यान दें, "अनप्रोवेबल" का मतलब "सीमित" प्रूफ सिस्टम हो सकता है (जो कमजोर अर्थों में …

17 computability  reference-request  turing-machines  halting-problem 

वहाँ सापेक्ष स्थानिकताएँ हैं (उदाहरण MH spacetimes; हॉगर्थ 1994 देखें) जहाँ अनंत अवधि की एक विश्व रेखा को परिमित प्रेक्षक के अतीत में समाहित किया जा सकता है। इसका मतलब यह है कि एक सामान्य पर्यवेक्षक के पास गणना चरणों की अनंत संख्या तक पहुंच हो सकती है। यह मानते …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

मुझे समस्या है: दिखाएँ कि एक वास्तविक संख्या मौजूद है जिसके लिए कोई भी प्रोग्राम मौजूद नहीं है जो असीम रूप से लंबा चलता है और उस संख्या के दशमलव अंकों को लिखता है। मुझे लगता है कि इसे हल करने की समस्या को कम करके हल किया जा सकता …

14 algorithms  reductions  halting-problem 

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

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

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

12 computability  halting-problem 

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

12 turing-machines  undecidability  halting-problem 

मैं समझता हूं कि ज्यादातर समस्याएं तुच्छ हैं यदि एक रुकने का आभूषण उपलब्ध है (या, मुझे लगता है कि समकक्ष, अति-संगणना)। हालाँकि, उस तर्क को लागू करना जो हॉल्टिंग समस्या को दर्शाता है, ट्यूरिंग मशीन के लिए असंभव है, यह भी दर्शाता है कि ट्यूरिंग + ऑरेकल के लिए …

11 computability  undecidability  halting-problem  oracle-machines 

मैं यह पता लगाने की कोशिश कर रहा हूं कि 3-प्रतीक एक-आयामी सेलुलर ऑटोमेटा के लिए हॉल्टिंग की समस्या क्या है। परिभाषा चलो समय चरण i पर सिस्टम के विन्यास को दर्शाता है । अधिक औपचारिक रूप से च : एक * × एन → एक * है, जहां एक …

10 computability  decision-problem  halting-problem  cellular-automata 

हॉल्टिंग समस्या में, हम अगर वहाँ एक ट्यूरिंग मशीन है रुचि कर रहे हैं कि हैं कि कोई ट्यूरिंग मशीन बता सकते हैं किसी दिए गए इनपुट पर हाल्ट या नहीं । आमतौर पर, प्रमाण मानने लगता है कि ऐसा मौजूद है। फिर, हम एक मामले पर विचार जहां हम …

10 computability  undecidability  halting-problem 

चैत की मेटा मैथ में! क्वेस्ट फॉर ओमेगा , वह हल्बर्ट की 10 वीं समस्या के बारे में संक्षेप में बात करता है। फिर वे कहते हैं कि किसी भी डायोफैंटाइन समीकरण को सकारात्मक पूर्णांक गुणांक वाले दो समान बहुपद में बदला जा सकता है: p = 0p=0p=0p=0 ।p=0⟺p1=p2p=0⟺p1=p2p=0 \iff …

10 logic  halting-problem 

इस साइट पर इस सवाल पर कई वेरिएंट हैं कि क्या टीएम हॉल्टिंग की समस्या को तय कर सकते हैं, चाहे अन्य सभी टीएम या कुछ सबसेट के लिए। यह सवाल कुछ अलग है। यह पूछता है कि क्या यह तथ्य सभी टीएम पर लागू होने वाली रुकावट की समस्या …

9 computability  turing-machines  undecidability  halting-problem 

यह प्रश्न मेरे लिए समस्या को हल करने के बारे में हुआ और मैं ऑनलाइन एक अच्छा उत्तर नहीं पा सका, सोच रहा था कि कोई मदद कर सकता है। क्या यह संभव है कि किसी भी इनपुट पर किसी भी TM के लिए रुकने की समस्या इतनी कम हो …

9 computability  undecidability  halting-problem