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

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

9 turing-machines  finite-automata 

मैं एकात्मक भाषाओं के बारे में सोचता हूं एलकLkL_k, कहाँ पे एलकLkL_k सभी शब्दों का सेट है, जिसकी लंबाई है कkkवर्गों। औपचारिक रूप से: एलक= {एn∣ एन =Σमैं = १कnमैं2,nमैं∈एन0( 1 ≤ मैं ≤ k ) }Lk={an∣n=∑i=1kni2,ni∈N0(1≤i≤k)}L_k=\{a^n\mid n=\sum_{i=1}^k {n_i}^2,\;\;n_i\in\mathbb{N_0}\;(1\le i\le k)\} यह दिखाना आसान है एल1= {एn2| N ∈एन0}L1={an2∣n∈N0}L_1=\{a^{n^2}\mid n\in\mathbb{N_0}\}नियमित …

9 formal-languages  regular-languages 

मेरे ज्ञान में एक सबसे खराब स्थिति वाला एल्गोरिथ्म मौजूद नहीं है जो निम्न समस्या को हल करता है:ओ ( एन )O(n)O(n) परिमित पूर्णांकों से मिलकर लंबाई अनुक्रम को देखते हुए क्रमचय को खोजें जहां हर तत्व इसके उत्तराधिकारी से कम या बराबर है।nnn लेकिन क्या कोई सबूत है कि …

9 complexity-theory  sorting  computation-models  lower-bounds 

मैंने कई संभावित स्पष्टीकरणों को सुना, इसलिए मुझे कुछ भरोसेमंद संदर्भ चाहिए। अपडेट ०५.१ ९: मुझे इस सवाल में दिलचस्पी है क्योंकि मेरे एक छात्र ने अपनी थीसिस में लिखा है कि नाम नीचे दिए गए स्पष्टीकरण (१) से आया है। अब तक मैंने सोचा / सुना है कि यह …

9 terminology  reference-request  history 

मैं वर्तमान में मार्कोव श्रृंखला के बारे में कुछ पेपर पढ़ रहा हूँ, मैं एक मार्कोव श्रृंखला और एक सादे निर्देशित भारित ग्राफ के बीच का अंतर देखने में असफल रहा हूँ। उदाहरण के लिए, मार्कोव श्रृंखला में इष्टतम स्टेट-स्पेस गांठ में वे CTMC (निरंतर समय मार्कोव श्रृंखला) की निम्नलिखित …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains 

प्रोग्रामिंग भाषाओं में अवधारणाओं में , जॉन मिशेल लिखते हैं कि हालैंड समस्या के कारण स्थैतिक प्रकार की जांच आवश्यक रूप से रूढ़िवादी (अत्यधिक सख्त) है। वह एक उदाहरण के रूप में देता है: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) क्या कोई गैर-वंचित उत्तर प्रदान कर सकता है जो वास्तव …

9 programming-languages  compilers  type-checking 

यह यहां एक अन्य प्रश्न का अनुवर्ती है , और मुझे आशा है कि यह बहुत दार्शनिक नहीं है। जैसा कि राफेल ने मेरे पिछले प्रश्न पर एक टिप्पणी में कहा था, मुझे वास्तव में "कम्प्यूटेबल" की परिभाषा नहीं मिलती है, लेकिन मैंने जो कुछ पेपर पढ़े हैं, उनके अनुसार, …

9 computability  computation-models 

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

9 regular-expressions 

मैं एक छोटे एम्बेडेड सिस्टम पर छवि डेटा पर 5-क्रॉस माध्य फ़िल्टर की भिन्नता का उपयोग करता हूं, अर्थात x x x x x एल्गोरिथ्म वास्तव में सरल है: 5 अहस्ताक्षरित पूर्णांक मान पढ़ें, उच्चतम 2 प्राप्त करें, उन पर कुछ गणना करें और अहस्ताक्षरित पूर्णांक परिणाम लिखें। क्या अच्छा …

9 algorithms  efficiency  selection-problem 

मैं एक हाईस्कूल का छात्र हूं, जिसे कंप्यूटर साइंस में दिलचस्पी है। मैंने #SAT के लिए एक कूल एल्गोरिथ्म विकसित किया है, और मैं इस पर एक विज्ञान निष्पक्ष परियोजना को लागू कर रहा हूं और कर रहा हूं। मेरे सलाहकार, जो मेरे स्कूल में सबसे अच्छे विज्ञान शिक्षक हैं …

9 algorithms  satisfiability 

निम्नलिखित समस्या पर विचार करें: इनपुट : सूचियांX,YX,YX,Y पूर्णांकों की लक्ष्य : निर्धारित करें कि क्या पूर्णांक मौजूद हैxxx वह दोनों सूची में है। मान लीजिए दोनों सूची X,YX,YX,Y आकार के हैं nnn। क्या इस समस्या के लिए एक नियतात्मक, रैखिक-समय एल्गोरिथ्म है? दूसरे शब्दों में, क्या आप इस समस्या …

9 algorithms  complexity-theory  lower-bounds 

nबिट पूर्णांक के वर्गमूल के तल की गणना के लिए क्या कोई ज्ञात उप-योग एल्गोरिदम हैं ? भोली एल्गोरिथ्म कुछ इस तरह होगा def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r << (i+1)) + (1 << (i*2)) if inc <= x: …

9 algorithms  numerical-algorithms 

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

9 computation-models  church-turing-thesis 

हम यह सुनिश्चित कर सकते हैं कि हम ओरेकल ट्यूरिंग मशीनों का उपयोग करते समय जटिलता कक्षाओं के बारे में ध्वनि और वैध बयान जारी कर रहे हैं? मेरी समझ के अनुसार (विषय पर परिचयात्मक पाठ्यपुस्तकों में दी गई परिभाषाओं के आधार पर) ऑर्कल ट्यूरिंग मशीनें एक संगणना कदम में …

9 complexity-theory  oracle-machines 

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

9 computer-architecture  operating-systems  user-interface