कंप्यूटर विज्ञान

संक्षेप में: शैक्षणिक संदर्भों में टाइप किए गए सिस्टम कैसे वर्गीकृत किए जाते हैं; विशेष रूप से, मैं उन प्रतिष्ठित स्रोतों को कहाँ पा सकता हूँ जो विभिन्न प्रकार के प्रकारों के बीच अंतर स्पष्ट करते हैं? एक अर्थ में इस प्रश्न के साथ कठिनाई यह नहीं है कि मुझे …

23 reference-request  programming-languages  type-theory 

EPAL, यहां तक ​​कि palindromes की भाषा, को निम्न अस्पष्ट संदर्भ-मुक्त व्याकरण द्वारा उत्पन्न भाषा के रूप में परिभाषित किया गया है: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b ईपीएएल कई पार्सिंग एल्गोरिदम का 'बैन' है: मुझे अभी तक …

23 formal-languages  formal-grammars  parsers 

किसी को पता है कि निकट भविष्य में एक टेक्स्ट एडिटर को लागू करने की योजना है, जिसने मुझे यह सोचने के लिए प्रेरित किया कि एक टेक्स्ट एडिटर के लिए किस तरह की डेटा संरचनाएं तेज हैं। सबसे अधिक उपयोग की जाने वाली संरचनाएं स्पष्ट रूप से रस्सियों या …

23 data-structures 

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

23 complexity-theory  parallel-computing 

अधिक यहाँ , डेव क्लार्क का प्रस्ताव है कि आदेश asymptotic विकास की तुलना करने में आप हाथ में कार्यों साजिश चाहिए। एक सैद्धांतिक रूप से इच्छुक कंप्यूटर वैज्ञानिक के रूप में, मैं इस वोडू को एक साजिश कहता हूं (एड)। दूसरे विचार पर, मुझे इस बात से सहमत होना …

23 asymptotics  didactics 

यह प्रश्न सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 7 साल पहले पलायन कर गए । यह समस्या interviewstreet.com से ली गई है हम पूर्णांकों की एक सरणी दिया जाता है प्रतिनिधित्व करता है कि …

23 algorithms  probability-theory 

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

23 computability  formal-methods  halting-problem  software-verification 

यह सवाल गणित स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 3 साल पहले चले गए । मैं एक निर्देशित ग्राफ G के अधिकतम वर्टेक्स चक्र कवर को खोजने के लिए एक एल्गोरिथ्म खोजने की कोशिश कर रहा हूं …

23 graph-theory  algorithms 

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

23 computer-architecture  clocks 

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

23 complexity-theory  graph-theory  np-complete  complexity-classes 

जैसा कि शीर्षक कहता है, मैंने पिछले सप्ताहांत में पर्ल-संगत नियमित अभिव्यक्तियों द्वारा मेल की जाने वाली भाषाओं के वर्ग के बारे में अपने दिमाग को लपेटने की कोशिश की, किसी भी मेल ऑपरेटर को छोड़कर जो पैटर्न के अंदर मनमाने कोड को निष्पादित करने की अनुमति देता है । …

23 formal-languages  regular-expressions 

मैं अपने प्रशिक्षक द्वारा पूछे गए प्रश्न में कुछ संकेत ढूंढ रहा हूं। इसलिए मैंने अभी यह निर्णय लिया है कि समस्या :एन पी - सी ओ एम पी एल ई टी ईएनपी-सीओमीटरपीएलईटीई\sf{NP\text{-}complete} एक ग्राफ में , वहाँ में एक फैले पेड़ है कि की एक सटीक सेट शामिल लीफ़्स …

23 complexity-theory  graphs  np-complete 

मूलांक के क्रम में हम पहले कम से कम महत्वपूर्ण अंकों को छाँटते हैं और फिर हम दूसरे महत्वपूर्ण अंकों को छाँटते हैं और इसी तरह छँटी हुई सूची को समाप्त करते हैं। अब अगर हमारे पास संख्याओं की सूची है, तो हमें उन संख्याओं के बीच अंतर करने के …

23 algorithms  sorting 

बड़ी O का उपयोग कंप्यूटर विज्ञान में पहली बार कब किया गया और यह कब मानक बन गया? इस पृष्ठ पर विकिपीडिया पेज नूथ , बिग ओमिक्रॉन और बिग ओमेगा और बिग थीटा , SIGACT अप्रैल-जून 1976 का हवाला देता है, लेकिन उस पेपर की शुरुआत हममें से अधिकांश ने …

22 asymptotics  history 

मुझे पता है कि, अनिवार्य प्रोग्रामिंग भाषाओं में, एक टिंग-डू लूप भाषा को ट्यूरिंग-कम्प्लीट करने के लिए कंट्रोल फ्लो कंस्ट्रक्शन के रूप में पर्याप्त है (जहाँ तक कंट्रोल फ्लो जाता है - बेशक हमें अनबाउंड मेमोरी और कुछ ऑपरेटर्स की भी आवश्यकता है ...) । मेरे प्रश्न का सार यह …

22 programming-languages  turing-completeness  loops  imperative-programming