turing-machines पर टैग किए गए जवाब

पिछले प्रश्न में एक एल्गोरिथ्म वास्तव में क्या है? , मैंने पूछा कि क्या एक "अल्गोरिथम" होना, जो पूर्व-निर्मित मानों की एक सरणी के आधार पर एक फ़ंक्शन का मान लौटाता है, एक एल्गोरिथ्म था। मेरा ध्यान आकर्षित करने वाले उत्तरों में से एक यह था: तथ्यात्मक उदाहरण अभिकलन के …

9 turing-machines  computation-models 

एक बूलियन फ़ंक्शन एक फ़ंक्शन ।च: { ० , १}n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} बूलियन आधार को ट्यूरिंग पूर्ण के रूप में जाना जाता है क्योंकि यह किसी भी अनुक्रम में फ़्लिप करने या अपरिवर्तित रहने की अनुमति देता है। वही कहा जा सकता है द्वार।( ∨ , ∧ …

9 turing-machines  turing-completeness  boolean-algebra 

कॉलेज में हम सामान्य रूप से कम्प्यूटिंग और ट्यूरिंग मशीनों के सिद्धांत के बारे में सीख रहे हैं। महान सैद्धांतिक परिणामों में से एक यह है कि संभावित रूप से बड़े वर्णमाला (प्रतीकों) की कीमत पर, आप राज्यों की संख्या केवल 2 तक कम कर सकते हैं। मैं अलग-अलग ट्यूरिंग …

9 turing-machines  context-free  parsers 

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

9 computability  turing-machines 

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

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