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

मैं कम्प्यूटेशनल जटिलता और ट्यूरिंग मशीनों के बारे में एक किताब पढ़ना शुरू कर रहा हूं। यहाँ उद्धरण है: एक एल्गोरिथ्म (यानी, एक मशीन) एक बिट स्ट्रिंग के रूप में प्रतिनिधित्व किया जा सकता है जब हम कुछ विहित एन्कोडिंग पर निर्णय लेते हैं। यह दावा एक साधारण तथ्य के …

17 algorithms  turing-machines  computability  computation-models 

क्या एक ट्यूरिंग मशीन मौजूद है जो सभी इनपुटों पर रुकती है लेकिन यह संपत्ति किसी कारण से साबित नहीं होती है? मैं सोच रहा हूं कि क्या इस सवाल का अध्ययन किया गया है। ध्यान दें, "अनप्रोवेबल" का मतलब "सीमित" प्रूफ सिस्टम हो सकता है (जो कमजोर अर्थों में …

17 computability  reference-request  turing-machines  halting-problem 

किसी भी मनमाने ढंग से अनुरूप संगणना करने के लिए किन कार्यों को करने की आवश्यकता है ? इसके अलावा, घटाव, गुणा और भाग पर्याप्त होगा? इसके अलावा, क्या किसी को पता है कि एनालॉग संगणना के उपयोग से क्या समस्याएं ठीक होती हैं, लेकिन डिजिटल के साथ नहीं?

17 computability  computation-models  turing-completeness 

मैंने सुना है आदर्श वाक्य बातचीत एल्गोरिदम से अधिक शक्तिशाली है से पीटर वेग्नर । विचार का आधार यह है कि एक (शास्त्रीय) ट्यूरिंग मशीन बाहरी दुनिया या पर्यावरण के साथ बातचीत, यानी संचार (इनपुट / आउटपुट) को संभाल नहीं सकती है। ऐसा कैसे हो सकता है? ट्यूरिंग मशीन की …

17 computability  computation-models 

मैं जानना चाहता हूं कि क्या निम्नलिखित समस्या विकट है और इसका कैसे पता लगाया जाए। मेरे द्वारा देखी जाने वाली प्रत्येक समस्या को मैं "हां" या "नहीं" कह सकता हूं, इसलिए कुछ को छोड़कर अधिकांश समस्याएं और एल्गोरिदम निर्णायक हैं (जो यहां प्रदान की गई हैं )? इनपुट: एक …

17 algorithms  computability  graph-theory  undecidability 

और भाषाओं को देखते हुए , मान लें कि यदि उनका शब्द सभी _ है , तो उनका संघटन अस्पष्ट है , बिलकुल और साथ और अन्यथा अस्पष्ट है। (मुझे नहीं पता कि इस संपत्ति के लिए एक स्थापित शब्द है - इसके लिए खोज करने के लिए कठिन बात!) …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

एन-बॉडी समस्या के लिए कोई सामान्य विश्लेषणात्मक समाधान नहीं है जो एक विश्लेषणात्मक फ़ंक्शन का उत्पादन कर सकता है जिसका उपयोग सटीक सटीकता के साथ मनमाने समय टी में एन-बॉडी सिस्टम की स्थिति देने के लिए किया जा सकता है। हालांकि, एन-बॉडी सिस्टम के कुछ विशेष मामले हैं जिनके लिए …

16 computability  turing-machines  undecidability  computation-models 

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

16 computability  undecidability  pushdown-automata 

इस सवाल में हम केवल ट्यूरिंग मशीनों पर विचार करते हैं जो सभी इनपुटों पर रोकती हैं। अगर कश्मीर ∈ एनk∈Nk \in \mathbb{N} तब तक टी kTkT_k हम ट्यूरिंग मशीन जिसका कोड है निरूपित कश्मीरkk । निम्नलिखित कार्य पर विचार करें रों ( एक्स , वाई ) = मिनट { …

16 computability  turing-machines 

ध्यान दें कि यह एक विश्वविद्यालय में एक सीएस कोर्स में अध्ययन से संबंधित प्रश्न है, यह होमवर्क नहीं है और यह फॉल 2011 परीक्षा 2 के तहत यहां पाया जा सकता है । यहां पिछले परीक्षा के दो प्रश्न दिए गए हैं। वे संबंधित प्रतीत होते हैं, पहला: चलो …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

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

15 computability  automata 

व्याख्यान में एक प्रोफेसर ने उल्लेख किया कि आधुनिक कंप्यूटर में ट्यूरिंग मशीन की उतनी कम्प्यूटेशनल शक्ति नहीं है क्योंकि उनके पास अनंत मेमोरी नहीं है, और चूंकि किसी भी कंप्यूटर में असीम मेमोरी नहीं हो सकती है इसलिए ट्यूरिंग मशीन अप्राप्य है और बस ऊपरी सीमा का प्रतिनिधित्व करती …

15 computability 

मैं इस संदेश को लिखने के लिए एक डिजिटल कंप्यूटर का उपयोग कर रहा हूं। ऐसी मशीन में एक संपत्ति होती है, जो यदि आप इसके बारे में सोचते हैं, तो यह वास्तव में काफी उल्लेखनीय है: यह एक मशीन है , जिसे यदि उचित रूप से क्रमादेशित किया जाता …

15 computability  turing-machines  history 

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

15 computability  automata  undecidability 

यदि प्राकृतिक संख्याओं के साथ एक आक्षेप होता है, तो एक सेट गणना योग्य होता है, और यदि एक एल्गोरिथ्म मौजूद होता है तो उसके सदस्यों की गणना करने के लिए यह गणना योग्य (सीयू) है । किसी भी गैर-परिमित गणना योग्य गणना के लिए गणना योग्य होनी चाहिए क्योंकि …

15 computability  semi-decidability