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

मुझे समझ में नहीं आता है कि हॉल्टिंग प्रॉब्लम को इतनी बार इस्तेमाल करने की संभावना को खारिज करने के लिए इस्तेमाल किया जाता है कि क्या प्रोग्राम रुकता है। विकिपीडिया [लेख] [1] सही ढंग से बताता है कि परिमित मेमोरी के साथ एक नियतात्मक मशीन या तो पिछली स्थिति …

149 computability  halting-problem 

हमें निम्नलिखित अभ्यास दिया गया था। चलो च( 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 

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

75 computability  logic  halting-problem  incompleteness 

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

60 computability  turing-machines  halting-problem  human-computing 

क्या प्रोग्रामिंग भाषा में प्रोग्रामिंग भाषा का एक सेट मौजूद है ताकि ट्यूरिंग को पूर्ण माना जा सके? विकिपीडिया से जो मैं बता सकता हूं , उससे भाषा को पुनरावृत्ति का समर्थन करने की आवश्यकता है, या प्रतीत होता है, बिना रुके दौड़ने में सक्षम होना चाहिए। क्या यह सब …

55 computability  programming-languages  turing-machines  turing-completeness 

उच्च-क्रम पैटर्न मिलान एक समस्या है। इसका मतलब है कि कोई एल्गोरिथ्म नहीं है, जो एक समीकरण दिया गया है a => b, जहां aऔर bटाइप किए गए लंबोदा पथरी पर खुले शब्द हैं, एक प्रतिस्थापन का पता लगाता Sहै aS => bS, जैसे कि =>" जहां एक ही Bn …

44 computability 

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

43 computability  proof-techniques  undecidability  reference-question 

जब मुझे (एक) बाहरी प्रोग्राम्स / फ़ंक्शंस पर हुक करना चाहिए तो एक अजीब समस्या सामने आई। फ़ंक्शंस 'C' और 'C ++' में कार्य वेरिएडिक फ़ंक्शंस को हुक नहीं कर सकते , जैसे मैं एक फ़ंक्शन नहीं बना सकता जिसे 'printf' कहा जाता है। ठीक उसी तर्कों के साथ जो …

42 computability  programming-languages  turing-completeness 

मैं सभी स्टैक ओवरफ्लो को देख रहा हूं, जैसे यहां , यहां , यहां , यहां , यहां और कुछ अन्य जिन्हें मैं उल्लेख करने की परवाह नहीं करता हूं, कि "कोई भी प्रोग्राम जो पुनरावृत्ति का उपयोग करता है, उसे केवल पुनरावृत्ति का उपयोग करके प्रोग्राम में परिवर्तित किया …

42 computability  recursion  iteration 

में इस सवाल का जवाब यह उल्लेख किया गया है एक नियमित भाषा को परिमित ऑटोमोटन द्वारा पहचाना जा सकता है। एक संदर्भ-मुक्त भाषा के लिए एक स्टैक की आवश्यकता होती है, और एक संदर्भ संवेदनशील भाषा के लिए दो स्टैक की आवश्यकता होती है (जो यह कहने के बराबर …

41 computability  turing-machines  automata  pushdown-automata 

संगणना और जटिलता सिद्धांत (और शायद अन्य क्षेत्रों) में, कटौती सर्वव्यापी है। कई प्रकार के होते हैं, लेकिन सिद्धांत ही रहता है: शो है कि एक समस्या कुछ अन्य समस्या के रूप में मुश्किल के रूप में कम से कम है से मानचित्रण उदाहरणों द्वारा में समाधान-बराबर वालों के लिए …

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

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

39 computability  turing-completeness  c 

क्या कोई सैद्धांतिक मशीनें हैं जो कम से कम कुछ क्षेत्रों में ट्यूरिंग मशीनों की क्षमता से अधिक हैं?

39 computability  turing-machines  hypercomputation 

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

37 terminology  computability  undecidability  rice-theorem 

मुझे पता है कि इदरिस के पास निर्भर प्रकार हैं, लेकिन पूर्ण रूप से ट्यूरिंग नहीं है। ट्यूरिंग पूर्णता को छोड़ देने से क्या नहीं हो सकता है, और क्या यह निर्भर प्रकार होने से संबंधित है? मुझे लगता है कि यह काफी विशिष्ट प्रश्न है, लेकिन मैं निर्भर प्रकारों …

35 computability  programming-languages  type-theory  dependent-types