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

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

9 computability  reversible-computing 

इस सवाल को पढ़ना " प्राकृतिक आरईई समस्या नहीं बल्कि ट्यूरिंग-पूर्ण " निम्नलिखित भाषा मेरे दिमाग में आई: यदि व्यस्त बीवर फ़ंक्शन है (सभी खाली 2-प्रतीक n-राज्य के बीच अधिकतम प्राप्य स्कोर ऊपर वर्णित प्रकार की ट्यूरिंग मशीन, जब एक खाली टेप पर शुरू होता है), फ़ंक्शन को परिभाषित करें:Σ …

9 computability  turing-machines 

हम दो प्रकार की टाइलों का उपयोग करके -square को टाइल करना चाहते हैं : -square टाइल और -square टाइल जैसे कि प्रत्येक अंतर्निहित वर्ग ओवरलैपिंग के बिना कवर किया गया है। आइए हम एक फ़ंक्शन को परिभाषित करते हैं जो वर्ग और किसी भी संख्या का उपयोग करके सबसे …

9 computability  combinatorics 

गणना करने योग्य संख्याएं (ट्यूरिंग के अर्थ में) असंख्य क्यों हैं? यह बहुत स्पष्ट होना चाहिए, लेकिन मैं अभी इसे देख नहीं रहा हूं।

9 computability  turing-machines  enumeration 

क्या एक ट्यूरिंग मशीन है जिसे एक नियमित टीएम की तुलना में अधिक अनंत वर्णमाला के प्रतीकों को पढ़ने और लिखने की अनुमति है (यह एकमात्र अंतर है, मशीन में अभी भी राज्यों की एक सीमित संख्या है)? अंतर्ज्ञान मुझे बताता है, क्योंकि आपको प्रत्येक प्रतीक को अलग करने के …

9 computability  turing-machines  reductions  simulation 

मैं निम्नलिखित समस्या के साथ आपकी मदद का उपयोग करना चाहूंगा: L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} । दिखाएँ कि ।L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE मुझे पता है कि को साबित करने के लिए , यह एक भाषा को खोजने के लिए पर्याप्त है, जैसे …

9 formal-languages  computability  context-free  turing-machines 

मध्यकाल में निम्नलिखित प्रश्न का एक प्रकार था: एक निर्णायक परिभाषित के लिए \ text {Pref} (L) = \ {x \ mid \ अस्तित्व y \ text {st} xy \ _ L \} में दिखाओ कि \ text {Pref} (L) जरूरी नहीं है।LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x …

9 computability  undecidability