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

फिक्स्ड-पॉइंट कॉम्बीनेटर FIX (उर्फ वाई कॉम्बीनेटर) में (अप्रकाशित) लैम्ब्डा कैलकुलस ( ) को इस प्रकार परिभाषित किया गया है:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) मैं इसका उद्देश्य समझता हूं और …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

रुकने की समस्या बताती है कि कोई एल्गोरिथ्म नहीं है जो यह निर्धारित करेगा कि किसी दिए गए कार्यक्रम में बाधा आती है या नहीं। परिणामस्वरूप, ऐसे कार्यक्रम होने चाहिए जिनके बारे में हम यह नहीं बता सकते कि वे समाप्त होते हैं या नहीं। ऐसे कार्यक्रमों के सबसे सरल …

27 computability  turing-machines  halting-problem 

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

26 computability  programming-languages  turing-completeness 

मुझे हॉल्टिंग समस्या की अनिर्वायता के प्रमाण को समझने में परेशानी हो रही है। यदि या नहीं, कार्यक्रम रिटर्न एक इनपुट पर हाल्ट ख , हम क्यों की कोड पारित करने के लिए है पी दोनों के लिए एक और ख ?एच( ए , बी )H(a,b)H(a,b)एaaखbbपीPPएaaखbb हम P और कुछ …

25 computability  turing-machines 

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

25 complexity-theory  computability  undecidability  decision-problem 

यह प्रश्न सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 6 साल पहले पलायन कर गए । मैं पुनरावर्ती और पुनरावर्ती असंख्य भाषाओं की कई परिभाषाओं में आया हूं। लेकिन मैं काफी समझ नहीं पाया कि …

24 formal-languages  computability  turing-machines 

यह प्रश्न सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 7 साल पहले पलायन कर गए । मेरा यह दिलचस्प सवाल था। मनुष्य को ज्ञात सबसे तेजी से बढ़ने वाला कार्य क्या है? क्या यह व्यस्त …

24 computability 

संगणनीयता सिद्धांत में, संगणनीय कार्यों को पुनरावर्ती कार्य भी कहा जाता है। कम से कम पहली नजर में, उनके पास सामान्य रूप से कुछ भी नहीं है जिसे आप दिन-प्रतिदिन की प्रोग्रामिंग में "पुनरावर्ती" कहते हैं (यानी, कार्य जो स्वयं को कॉल करते हैं)। संगणना के संदर्भ में पुनरावर्ती का …

23 computability  terminology  history 

यह प्रश्न सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 7 साल पहले पलायन कर गए । "एलन ट्यूरिंग ने 1936 में साबित कर दिया कि सभी संभावित प्रोग्राम-इनपुट जोड़े के लिए हॉल्टिंग समस्या को हल …

23 computability  formal-methods  halting-problem  software-verification 

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

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

मैंने कोलमोगोरोव कॉम्प्लेक्सिटी के बारे में कुछ अध्ययन किया है , विट्नी और ली के कुछ लेखों और पुस्तकों को पढ़ा और लेखकों की स्टिलोमेट्री को सत्यापित करने के लिए सामान्यीकृत संपीड़न दूरी की अवधारणा का उपयोग किया (पहचानें कि प्रत्येक लेखक अपनी समानता से कुछ पाठ और समूह दस्तावेज़ …

22 computability  approximation  data-compression  kolmogorov-complexity 

ट्यूरिंग मशीन जो पहले पढ़ी गई स्थिति में वापस आती है, ठीक उसी टेप के एक ही सेल पर उसके रीड / राइट हेड के साथ लूप में पकड़ा जाएगा। ऐसी मशीन रुकती नहीं है। क्या कोई कभी न रुकने वाली मशीन का उदाहरण दे सकता है जो लूप नहीं …

22 computability  turing-machines  halting-problem 

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

22 formal-languages  automata  computability  undecidability 

मैंने हाल ही में एक दिलचस्प सादृश्य सुना है, जो बताता है कि ट्यूरिंग समस्या के अनिर्णयता का ट्यूरिंग प्रमाण रसेल के नाई के विरोधाभास के समान है। इसलिए मुझे आश्चर्य हुआ: गणितज्ञों ने अंततः क्षेत्र के कैंटर के अनुभवहीन निर्माण से एक्सीमोंस (जेडएफसी सेट सिद्धांत) के एक अधिक जटिल …

21 computability  turing-machines  computation-models  halting-problem 

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

21 formal-languages  computability  context-free  computation-models  context-sensitive