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

मैं यह निर्दिष्ट करना चाहता हूं कि एल्गोरिथ्म में इनपुट के रूप में बीजगणित देने का क्या मतलब है और इसके बारे में बहुत अधिक साहित्य नहीं मिला है। इसलिए पहले मैं पूछना चाहता हूं कि क्या आप एक किताब या कागज की सिफारिश कर सकते हैं जो खेतों पर …

11 computability  terminology  decision-problem 

एक हालिया परीक्षा का प्रश्न इस प्रकार है: एAA एक अनंत पुनरावर्ती सेट है। सिद्ध करो कि में एक अनंत पुनरावर्ती उपसमुच्चय है।एAA चलो की एक अनंत पुनरावर्ती सबसेट हो । पास एक उपसमूह होना चाहिए जो पुनरावर्ती रूप से गणना करने योग्य नहीं है ?सीसीCएएAसीसीC मैंने जवाब दिया 1. …

11 computability  check-my-proof 

यह कैसे उल्लेखनीय हो सकता है कि क्या में अंकों का कुछ अनुक्रम है? ππ\piमुझे यह पूछने के लिए प्रेरित किया कि क्या निम्नलिखित निर्दोष-भिन्नता कम्प्यूटेशनल है: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar …

11 computability  real-numbers 

रिवाइटरिंग सिस्टम के रूप में नियमों का एक समूह है । अगर हम उस नियम को एक स्ट्रिंग लागू करते हैं, तो हम किसी विकल्प को के स्थान पर और इसके विपरीत से प्रतिस्थापित करते हैं।A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB एक शुरू करने स्ट्रिंग को देखते हुए हम प्राप्त कर सकते हैं …

11 computability  term-rewriting 

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

11 formal-languages  computability  programming-languages 

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

11 computability  undecidability  halting-problem  oracle-machines 

एक गणना करने योग्य गणना करने योग्य (CE, पुनरावर्ती रूप से गणना करने योग्य, अर्धवृत्ताकार के बराबर) सेट में से एक निम्नलिखित है: A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* ce iff वहाँ एक डिसाइडेबल भाषा हैV⊆Σ∗V⊆Σ∗V\subseteq \Sigma^* सभी के लिए सेंट (सत्यापनकर्ता कहा जाता है)x∈Σ∗x∈Σ∗x\in \Sigma^* , x∈Ax∈Ax\in A iff वहाँ एक से …

11 computability  proof-techniques  undecidability 

मैं गणना के सिद्धांत में अपने फाइनल के लिए अध्ययन कर रहा हूं, और मैं यह उत्तर देने के उचित तरीके से संघर्ष कर रहा हूं कि क्या यह कथन गलत है। We m की परिभाषा से हम निम्नलिखित कथन का निर्माण कर सकते हैं,≤म≤m\leq_m डब्ल्यू ∈ ए⟺च( डब्ल्यू ) …

11 complexity-theory  computability  reductions 

दो कंप्यूटिंग मॉडल को पूरा होने के लिए दिखाया जा सकता है यदि प्रत्येक दूसरे के लिए एक सार्वभौमिक सिम्युलेटर को एन्कोड कर सकता है। दो लॉजिक्स को पूर्ण होने के लिए दिखाया जा सकता है यदि प्रत्येक के प्रमेय नियमों के एक एन्कोडिंग (और शायद स्वयंसिद्ध यदि मौजूद हों) …

10 computability  logic  turing-completeness 

मैंने आज सीखा कि एल्गोरिथम विश्लेषण कम्प्यूटेशनल मॉडल के आधार पर भिन्न होता है। यह ऐसा कुछ है जिसके बारे में मैंने कभी नहीं सोचा या इसके बारे में नहीं सुना। एक उदाहरण मुझे दिया गया है, जो कि उपयोगकर्ता @chi द्वारा इसे आगे चित्रित करता है : जैसे कार्य …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

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

10 computability  decision-problem  halting-problem  cellular-automata 

यह शायद एक मूर्खतापूर्ण सोचा है, लेकिन लगता है कि हम एक कंप्यूटर है कि गणना की एक अनंत अनुक्रम प्रदर्शन करते हैं और लगता है कि करने के लिए प्रोग्राम रहा है गणना लेता है 1 / 2 मैं पूरा करने के लिए सेकंड। फिर यह कंप्यूटर एक परिमाण …

10 computability  computation-models 

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

10 computability  turing-machines  simulation  turing-completeness 

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

10 computability  undecidability  halting-problem 

मैंने उन वेब साइटों को देखा है जो एचटीएमएल 5 + सीएसएस ट्यूरिंग कम्प्लीट करने के लिए "साबित" करने का उद्देश्य रखते हैं। मैंने उन वेब साइटों को देखा है जो कि एसक्यूएल ट्यूरिंग कम्प्लीट करने के लिए "साबित" करने के लिए है। मैंने उन वेब साइटों का एक समूह …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis