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

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

44 formal-languages  automata 

मैं अपने आप से ऑटोमेटेड प्रमेय साबित / श्रीमती सॉल्वर / प्रूफ असिस्टेंट सीख रहा हूं और यहां से शुरू होने वाली प्रक्रिया के बारे में प्रश्नों की एक श्रृंखला पोस्ट कर रहा हूं। ध्यान दें कि इन विषयों को (गणितीय) लॉजिक्स में पृष्ठभूमि के बिना आसानी से पचा नहीं …

44 logic  proof-assistants  automated-theorem-proving  coq 

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

44 computability 

समवर्ती प्रोग्रामिंग को देखते समय, दो शब्दों का आमतौर पर उपयोग किया जाता है अर्थात समवर्ती और समानांतर। और कुछ प्रोग्रामिंग भाषाएं विशेष रूप से समानांतर प्रोग्रामिंग के लिए समर्थन का दावा करती हैं, जैसे कि जावा । क्या इसका मतलब समानांतर और समवर्ती प्रोग्रामिंग वास्तव में अलग हैं?

44 terminology  parallel-computing  concurrency 

मुझे याद है कि एक भाषा के बारे में निम्नलिखित प्रश्न आते हैं जो माना जाता है कि यह संदर्भ-मुक्त है, लेकिन मैं इस तथ्य का प्रमाण नहीं पा रहा था। क्या मैंने शायद प्रश्न को गलत बताया है? वैसे भी, यहाँ सवाल है: पता चलता है कि भाषा संदर्भ …

43 formal-languages  context-free 

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

43 computability  proof-techniques  undecidability  reference-question 

मान लें कि मैं एक प्रोग्रामर हूं और मुझे एक एनपी-पूर्ण समस्या है जिसे मुझे हल करने की आवश्यकता है। एनपीसी समस्याओं से निपटने के लिए कौन से तरीके उपलब्ध हैं? क्या इस विषय पर एक सर्वेक्षण या कुछ समान है?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

मैंने यह उल्लेख किया है कि आश्रित प्रकार की प्रणालियाँ हीन नहीं हैं, लेकिन जाँच योग्य हैं। मैं सोच रहा था कि ऐसा क्यों है की एक सरल व्याख्या है, और क्या "निर्भरता" की कोई सीमा है या नहीं, जहां प्रकारों को मूल्यों द्वारा अनुक्रमित किया जा सकता है, नीचे …

42 undecidability  type-theory  type-inference  dependent-types 

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

42 computability  programming-languages  turing-completeness 

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

42 computability  recursion  iteration 

हमारे कंप्यूटर सिस्टम के व्याख्यान में हमें MIPS प्रोसेसर से परिचित कराया गया था। यह अवधि के दौरान विकसित (पुनः) था और वास्तव में समझने में काफी आसान रहा है। यह एक आरआईएससी डिज़ाइन का उपयोग करता है , जो कि इसके प्राथमिक कमांड नियमित रूप से एन्कोडेड हैं और …

42 computer-architecture 

आइए लाल-काले पेड़ की निम्न परिभाषा को मानें: यह एक द्विआधारी खोज पेड़ है। प्रत्येक नोड लाल या काले रंग का होता है। जड़ काली है। एक किनारे से जुड़े दो नोड्स एक ही समय में लाल नहीं हो सकते। यहां एक NIL पत्ती की अच्छी परिभाषा होनी चाहिए, जैसे …

41 data-structures  search-trees  balanced-search-trees 

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

41 computability  turing-machines  automata  pushdown-automata 

मैं पीटरसन और डेकर द्वारा एल्गोरिदम को समझने की कोशिश कर रहा हूं जो बहुत समान हैं और बहुत सारे समरूपता प्रदर्शित करते हैं। मैंने अनौपचारिक भाषा में एल्गोरिदम को इस प्रकार बनाने की कोशिश की: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want …

41 concurrency  synchronization  mutual-exclusion 

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

41 data-structures  strings  string-metrics