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

हमें निम्नलिखित अभ्यास दिया गया था। चलो च( n ) = { 100nπ के दशमलव प्रतिनिधित्व में होता है अन्यf(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} सिद्ध है कि …

130 computability  undecidability 

मुझे पता है कि एक ट्यूरिंग मशीन मौजूद है, अगर कोई फ़ंक्शन कम्प्यूटेबल है। फिर यह कैसे दिखाया जाए कि फ़ंक्शन कम्प्यूट नहीं है या उसके लिए कोई ट्यूरिंग मशीन नहीं है। क्या पम्पिंग लेम्मा जैसा कुछ है?

43 computability  proof-techniques  undecidability  reference-question 

मैंने यह उल्लेख किया है कि आश्रित प्रकार की प्रणालियाँ हीन नहीं हैं, लेकिन जाँच योग्य हैं। मैं सोच रहा था कि ऐसा क्यों है की एक सरल व्याख्या है, और क्या "निर्भरता" की कोई सीमा है या नहीं, जहां प्रकारों को मूल्यों द्वारा अनुक्रमित किया जा सकता है, नीचे …

42 undecidability  type-theory  type-inference  dependent-types 

सारांश: राइस के प्रमेय के अनुसार, सब कुछ असंभव है। और फिर भी, मैं यह हर समय असंभव सामान करता हूं ! बेशक, राइस प्रमेय बस यह नहीं कहता कि "सब कुछ असंभव है"। यह कुछ और नहीं बल्कि विशिष्ट कहता है: "कंप्यूटर प्रोग्राम की प्रत्येक संपत्ति गैर-संगणनीय है।" (यदि …

37 terminology  computability  undecidability  rice-theorem 

राइस की प्रमेय हमें बताती है कि ट्यूरिंग मशीन का एकमात्र अर्थ गुण (यानी मशीन द्वारा गणना की गई फ़ंक्शन के गुण) जो हम तय कर सकते हैं वे दो तुच्छ गुण हैं (यानी हमेशा सच और हमेशा झूठ)। लेकिन ट्यूरिंग मशीनों के अन्य गुण भी हैं जो निर्णायक नहीं …

30 computability  undecidability 

मैं तिरछेपन के आधार पर हॉल्टिंग प्रॉब्लम (पापादिमित्रिउ की पाठ्यपुस्तक में उदाहरण के लिए दी गई) की अयोग्यता का प्रमाण समझता हूं। जबकि प्रमाण आश्वस्त करता है (मैं इसके प्रत्येक चरण को समझता हूं), यह मेरे लिए इस अर्थ में सहज नहीं है कि मैं यह नहीं देखता कि कोई …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

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

28 computability  proof-techniques  undecidability 

स्पष्ट रूप से एनपी में कोई भी समस्या नहीं है। हालांकि, विकिपीडिया के अनुसार : एनपी सभी निर्णय समस्याओं का एक सेट है जिसके लिए ऐसे उदाहरण हैं जहां उत्तर "हां" है [.. सबूत] हैं जो एक नियतात्मक ट्यूरिंग मशीन द्वारा बहुपद समय में पुष्टि योग्य हैं। [...] एक समस्या …

25 complexity-theory  computability  undecidability  decision-problem 

कंस्ट्रक्टिविस्ट लॉजिक एक ऐसी प्रणाली है, जो एक्सक्लूज़िव के रूप में एक्सक्लूसिव मिडिल के साथ-साथ डबल नेगेटिव को भी हटा देती है। यह विकिपीडिया पर यहाँ और यहाँ वर्णित है । विशेष रूप से, सिस्टम विरोधाभास द्वारा प्रमाण के लिए अनुमति नहीं देता है। मैं सोच रहा हूं, क्या कोई …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

यह सर्वविदित है कि हिंडले-मिलनर प्रकार का निष्कर्ष ( बहुरूपता के साथ सरलता से टाइप किए गए -calculus) में निर्णायक प्रकार का इंजेक्शन है: आप बिना किसी एनोटेशन के किसी भी प्रोग्राम के लिए सिद्धांत प्रकारों को फिर से जोड़ सकते हैं।λλ\lambda हास्केल-शैली के टाइपसेकल्स को जोड़ना इस निर्णायकता को …

22 undecidability  type-theory  type-inference  dependent-types 

क्या कोई "प्राकृतिक" भाषा है जो कि अनिर्दिष्ट है? "प्राकृतिक" से मेरा मतलब है कि एक भाषा सीधे तार के गुणों द्वारा परिभाषित की गई है, और मशीनों और उनके समकक्ष के माध्यम से नहीं। दूसरे शब्दों में, अगर की तरह भाषा दिखता जहां एम एक टीएम, DFA (या नियमित …

22 formal-languages  automata  computability  undecidability 

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

20 computability  undecidability 

चलो 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 

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

18 computability  undecidability  software-engineering  formal-methods 

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

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