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

मुझे पता है कि कुछ अस्पष्ट अर्थों में संगणना क्या है (यह बात कंप्यूटर करते हैं), लेकिन मैं अधिक कठोर परिभाषा चाहूंगा। Dictionary.comअभिकलन, अभिकलन, गणना और गणना की परिभाषाएं वृत्ताकार हैं, इसलिए यह मदद नहीं करता है। Wikipediaगणना को परिभाषित करता है "किसी भी प्रकार की गणना जो एक अच्छी …

20 terminology  computability 

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

20 computability  compilers  program-optimization 

कुछ "उचित" औपचारिक भाषा में बताई गई निर्णय समस्याओं पर विचार करें। मान लीजिए कि उच्च-क्रम वाले पीनो अंकगणित में सूत्र एक मुक्त चर के साथ संदर्भ के एक फ्रेम के रूप में हैं, लेकिन मैं गणना के अन्य मॉडलों में भी उतनी ही दिलचस्पी रखता हूं: डायोफैंटाइन समीकरण, ट्यूरिंग …

20 computability  undecidability 

कोलमोगोरोव-कॉम्प्लेक्सिटी को परिभाषित करने के कई तरीके हैं , और आमतौर पर, इन सभी परिभाषाओं को वे एक additive निरंतर के बराबर हैं। यदि और kolmogorov जटिलता कार्य (विभिन्न भाषाओं या मॉडलों के माध्यम से परिभाषित) हैं, तो एक निरंतर मौजूद है जो प्रत्येक स्ट्रिंग के लिए है । मेरा …

20 computability  kolmogorov-complexity 

क्या यह आवश्यक है कि एक एनपी-कठिन समस्या कम्प्यूटेशनल होनी चाहिए? मुझे ऐसा नहीं लगता, लेकिन मुझे यकीन नहीं है।

19 complexity-theory  computability  np-hard 

चलो F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F = \{⟨M⟩:\text{M is a TM which stops for every input in at most 50 steps}\} । मुझे यह तय करने की आवश्यकता …

19 computability  undecidability 

मैंने सेलुलर ऑटोमेटा में नियम 110 के लिए विकिपीडिया पृष्ठ पढ़ा है , और मुझे कम या ज्यादा पता है कि वे कैसे काम करते हैं (नियमों का एक सेट यह तय करता है कि अगले 1 या 0 को कहां ड्रा करना है)। मैंने अभी पढ़ा है कि वे …

19 computability  automata  turing-completeness  cellular-automata 

मैं एक स्नातक छात्र हूँ जो अभिकलन के सिद्धांत में एक कोर्स कर रहा है और मेरे द्वारा पूछे जाने पर मुझे सामग्री के उत्पादन में गंभीर समस्या है। मैं पाठ्यपुस्तक (माइकल Sipser द्वारा कम्प्यूटेशन के सिद्धांत का परिचय) और व्याख्यान का पालन करने में सक्षम हूं; हालाँकि जब किसी …

19 computability  education  intuition 

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

18 computability  undecidability  software-engineering  formal-methods 

क्या मानक ट्यूरिंग की तुलना में रिक्त कोशिकाओं पर लिखने की क्षमता के बिना एक ट्यूरिंग मशीन कम शक्तिशाली है? मुझे लगता है कि उत्तर हां है, लेकिन मैं एक गणना नहीं पा रहा हूं जो मानक ट्यूरिंग मशीन कर सकती है लेकिन यह मशीन नहीं कर सकती है। कोई …

18 formal-languages  turing-machines  computability  automata 

वहाँ मौजूद है एक गणनीय समारोह ऐसी है कि:f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} सभी के लिए t∈N:0≤f(t)&lt;Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X जहां एक निर्विवाद वास्तविक संख्या है।XXX इस प्रश्न का एकमात्र संदर्भ मुझे मिला है, इस सवाल का जवाब था : /math//a/1052579/168764 , जहां फ़ंक्शन को लगता है कि …

18 computability 

स्थापना: backreferences के साथ नियमित अभिव्यक्ति एकात्मक भाषा (1-प्रतीक वर्णमाला) इस सेटिंग में निम्नलिखित समस्या निर्णायक है: बैकरेफरेंस के साथ एक नियमित अभिव्यक्ति को देखते हुए, क्या यह एक नियमित भाषा को परिभाषित करता है? उदाहरण के लिए, (aa+)\1एक नियमित भाषा को परिभाषित करता है, जबकि (aa+)\1+नहीं करता है। क्या …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

मेमोरी का उपयोग कई चीजों के लिए किया जाता है, जैसा कि मैं समझता हूं। यह एक डिस्क-कैश के रूप में कार्य करता है, और इसमें प्रोग्राम के निर्देश, और उनके स्टैक और ढेर होते हैं। यहाँ एक सोचा प्रयोग है। अगर कोई कंप्यूटर को क्रंच करने के लिए लगने …

18 computability  memory-management  memory-hardware 

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

18 computability 

यदि आप दो एल्गोरिदम (कहते हैं, मर्ज सॉर्ट और नाओवे सॉर्ट) किसी इनपुट के लिए एक ही परिणाम लौटाते हैं, तो सभी इनपुटों का सेट अनंत होने पर कैसे जांचें? अपडेट: यह वर्णन करने के लिए बेन का धन्यवाद करें कि सामान्य मामले में यह एल्गोरिदम को करना असंभव है। …

18 computability  formal-methods  software-engineering  software-verification