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

सैद्धांतिक कंप्यूटर विज्ञान में परिभाषाओं, शब्दों और सामान्य नामों के बारे में प्रश्न।

6
नियमित भाव नहीं हैं
यहां तक ​​कि कंप्यूटर विज्ञान की पृष्ठभूमि वाले किसी व्यक्ति से पूछें कि एक नियमित अभिव्यक्ति क्या है, और इसका उत्तर एक परिमित-राज्य ऑटोमेटन की पहुंच के दायरे से बाहर जाने की संभावना है। उदाहरण के लिए, "नियमित अभिव्यक्ति" /^1?$|^(11+?)\1+$/ विख्यात पर्ल व्यक्तित्व अबीगैल द्वारा निर्मित (और 2002 से पर्ल …
1
बाधा संतुष्टि की समस्या (CSP) बनाम संतोषजनकता modulo सिद्धांत (SMT); बाधा प्रोग्रामिंग पर एक कोडा के साथ
क्या कोई यह स्पष्ट करने का प्रयास करने की हिम्मत करता है कि अध्ययन के इन क्षेत्रों का क्या संबंध है या शायद समस्याओं के स्तर पर और अधिक ठोस जवाब दे सकते हैं? जिसमें कुछ व्यापक रूप से स्वीकृत योगों को शामिल करना शामिल है। अगर मुझे यह सही …
2
थ्योरी ए बनाम थ्योरी बी के मूल और अनुप्रयोग?
कुछ हालिया प्रश्नों ( q1 q2 ) में, "थ्योरी ए" बनाम "थ्योरी बी" की चर्चा हुई है, जो तर्क और प्रोग्रामिंग भाषाओं के अध्ययन और एल्गोरिदम और जटिलता के अध्ययन के बीच विभाजन को पकड़ने के लिए प्रतीत होता है। यह शब्दावली मेरे लिए नई थी, और एक त्वरित वेब …
3
शब्द पुनर्लेखन और पैटर्न मिलान के बीच अंतर क्या है?
जैसा कि लैंबडा द अल्टीमेट में कोई प्रतिक्रिया नहीं थी , मैं इसे फिर से यहाँ आज़माता हूँ : उदाहरण के लिए, पुन: लिखने की प्रणाली का उपयोग स्वचालित प्रमेय में एक प्रतीकात्मक गणना साबित करने के लिए किया जाता है, और निश्चित रूप से औपचारिक व्याकरण को परिभाषित करने …
4
क्या कुशल एल्गोरिदम के बिना समस्याएं हैं, जहां अस्तित्व प्रमेयों ने साबित कर दिया है कि ऐसे एल्गोरिदम मौजूद होने चाहिए?
क्या सीएस में समस्याएं हैं, जहां कोई कुशल एल्गोरिदम ज्ञात नहीं है, अस्तित्व के बावजूद ऐसे कुशल एल्गोरिदम साबित होने चाहिए? इन समस्याओं को क्या कहा जाता है? मैं कहां और अधिक मिल सकता है?
1
क्यों सही रेखांकन सही कहा जाता है?
क्षमा करें, यदि यह एक भोला प्रश्न है, लेकिन मुझे बॉन्डी-मर्टी, डिएस्टेल या वेस्ट जैसी किसी भी प्रमुख पाठ्य पुस्तकों में औचित्य नहीं मिला। परफेक्ट रेखांकन में कई सुंदर गुण होते हैं, लेकिन एकमात्र कारण क्या है जिसे वे परिपूर्ण कहते हैं? या क्या यह केवल बर्ज द्वारा एक सौंदर्यवादी …
1
इस प्रकार की निर्देशित ग्राफ़ समस्या का नाम क्या है?
एक निर्देशित ग्राफ लें जहां किनारों को प्राकृतिक संख्या से सजाया गया है। हम चाहते हैं कि सभी रास्तों का सेट दो दो और बीच ऐसा हो कि मार्ग में प्रत्येक क्रमिक किनारे को एक प्राकृतिक संख्या से सजाया जाए जो पिछले किनारे को सजाने वाली प्राकृतिक संख्या से अधिक …
3
क्या "भौतिक चीजों में से एक का नाम है जिसमें से एक ट्यूरिंग मशीन का निर्माण कर सकता है"?
कंप्यूटर विज्ञान के बारे में आश्चर्यजनक चीजों में से एक यह है कि भौतिक कार्यान्वयन कुछ अर्थों में "अप्रासंगिक" है। लोगों ने कई अलग-अलग सब्सट्रेट्स - रिले, वैक्यूम ट्यूब, असतत ट्रांजिस्टर आदि से कंप्यूटर का सफलतापूर्वक निर्माण किया है। लोग जल्द ही ट्यूरिंग-पूर्ण कंप्यूटर को गैर-रेखीय ऑप्टिकल सामग्री, विभिन्न बायोमोलेक्यूल्स …
2
क्या प्रस्ताव प्रस्ताव पूर्ण प्रमाण प्रणाली है?
यह प्रश्न प्रस्तावक तर्क के बारे में है और "प्रस्ताव" की सभी घटनाओं को "प्रस्ताव प्रस्ताव" के रूप में पढ़ा जाना चाहिए। यह सवाल कुछ बेहद बुनियादी है लेकिन यह मुझे कुछ समय के लिए परेशान कर रहा है। मैं ऐसे लोगों को देखता हूं जो प्रस्ताव को पूरा करते …
4
हास्केल के seq ऑपरेशन के साथ काम करने के लिए एटा-तुल्यता है?
लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\x -> ⊥) = ⊥ :: A -> B। प्रमाण: ⊥ = (\x -> ⊥ x)एटा-समतुल्यता (\x -> ⊥ x) = (\x -> ⊥)द्वारा , और लंबोदर के तहत कमी द्वारा। हास्केल 2010 की रिपोर्ट, खंड 6.2 seqफ़ंक्शन को दो समीकरणों द्वारा निर्दिष्ट …
1
एनपी में कोई समस्या कैसे हो सकती है, एनपी-हार्ड हो सकता है और एनपी-पूर्ण नहीं हो सकता है?
सबसे लंबे समय तक मैंने सोचा है कि एक समस्या एनपी-पूर्ण थी यदि यह एनपी-हार्ड (एनपी) दोनों है और (2) एनपी में है। हालांकि, प्रसिद्ध पेपर "द एलीपोसिड विधि और इसके परिणाम में कॉम्बीनेटरियल ऑप्टिमाइज़ेशन" , लेखकों का दावा है कि आंशिक रंगीन संख्या समस्या एनपी से संबंधित है और …
1
समय निर्माण की समान परिभाषाएँ
हम कहते हैं कि एक समारोह है समय-constructible , अगर वहाँ एक नियतात्मक बहु टेप मौजूद मशीन ट्यूरिंग कि लंबाई के सभी आदानों पर ज्यादा से ज्यादा बनाता है चरणों और प्रत्येक के लिए लंबाई का कुछ इनपुट मौजूद है, जिस पर M अत्यधिक रूप से f (n) चरण बनाता …
1
अर्धवृत्त के साथ तुलना में उपयोग किए जाने पर "छद्म समय" क्या है
मैं वर्तमान में एलन कैस की बात सुन रहा हूं "क्या यह वास्तव में जटिल है या हमने इसे जटिल बना दिया है?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) जहां वह कहता है कि "अर्ध-शब्द एक बुरा विचार था और छद्म समय में कुछ ऐसा था जो श्रेष्ठ था" (लिंक किए गए वीडियो …
2
लैम्ब्डा कैलकुलस एक "कैलकुलस" क्यों है?
"पथरी" की एकमात्र परिभाषा मुझे पता है कि विश्लेषण में सीमा, डेरिवेटिव, अभिन्न आदि का अध्ययन है। किस अर्थ में लैम्ब्डा कैलकुलस (या म्यू कैलकुलस जैसी चीजें) एक "कैलकुलस" है? यह विश्लेषण में पथरी से कैसे संबंधित है?
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.