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

राइस प्रमेय का एक बयान "कम्प्यूटेशनल जटिलता: एक आधुनिक दृष्टिकोण" (अरोड़ा-बराक) के पृष्ठ 35 पर दिया गया है: से का आंशिक कार्य एक ऐसा कार्य है, जो आवश्यक रूप से इसके सभी इनपुट पर परिभाषित नहीं है। हम कहते हैं कि एक टीएम एक आंशिक समारोह की गणना करता है …

9 computability  turing-machines  undecidability  rice-theorem 

कई जटिलता वर्गों में "पूर्ण" समस्याएं हैं। क्या समय में हल की जा सकने वाली समस्याओं की जटिलता वर्ग के लिए पूरी समस्याएं मौजूद हैं ?ओ ( 1 )O(1)O(1) एक जटिलता यह है कि यह वर्ग गणना के मॉडल पर निर्भर करता है; एक समस्या कम्प्यूटेशन के एक उचित मॉडल …

9 complexity-theory  time-complexity  constant-time 

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

9 lambda-calculus  functional-programming 

मान लीजिये: बहुत अभिव्यंजक प्रकार की प्रणाली (जैसे इदरिस ) वाली भाषा में विदेशी फ़ंक्शन इंटरफेस / असुरक्षित कैफ़ेफॉर्मियो जैसे भागने के तंत्र भी हो सकते हैं। ऐसे सबूत सहायक हैं जिनका उपयोग किसी भाषा में लिखे गए प्रोग्राम के कुछ गुणों को साबित करने के लिए किया जा सकता …

9 type-theory  proof-assistants  curry-howard 

क्यों (अगर ऐसा है) ##\# दोनों भाषाओं के बीच अंतर कर रहा है? मान लीजिए: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#= { w # s : | w | = | s |डब्ल्यू , एस ∈ { 0 , 1}*, w ≠ s }L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, …

9 formal-languages  context-free  pumping-lemma 

दिया गया एन × एमn×mn \times m बूलियन मैट्रिक्स एक्सX\mathrm X, चलो 000 प्रविष्टियाँ समुद्र और 111प्रविष्टियाँ भूमि का प्रतिनिधित्व करती हैं। एक द्वीप को लंबवत या क्षैतिज रूप से परिभाषित करें (लेकिन तिरछे नहीं) आसन्न111 प्रविष्टियों। मूल प्रश्न किसी दिए गए मैट्रिक्स में द्वीपों की संख्या की गणना करना …

9 algorithms  matrices  counting  streaming-algorithm 

गिरार्ड के प्रमाण और प्रकार में हम पढ़ सकते हैं: एक एल्गोरिथम दृष्टिकोण से, सीक्वेंस कैलकुलस में कोई करी-हावर्ड आइसोमोर्फिज़्म नहीं है, क्योंकि एक ही प्रमाण लिखने के तरीकों की भीड़ के कारण। यह हमें इसे टाइप किए गए -calculus के रूप में उपयोग करने से रोकता है , हालांकि …

9 reference-request  logic  parallel-computing 

में स्पैनर, TrueTime और कैप प्रमेय , एरिक ब्रेवर लिखते हैं: स्पैनर के बारे में एक सूक्ष्म बात यह है कि यह ताले से serializability हो जाता है, लेकिन यह हो जाता है बाहरी स्थिरता (के समान linearizability TrueTime से) [ जोर जोड़ा ]। की परिभाषा क्या है बाहरी स्थिरता …

9 distributed-systems 

एक प्रमेय है जो कहता है कि: होने एक परिमित अवस्था automaton को देखते हुए , राज्यों अगर वहाँ एक स्ट्रिंग मौजूद जिसकी लंबाई संतुष्ट तो द्वारा स्वीकार की गई भाषा अनंत है।nnnwwwn≤|w|≤2n−1n≤|w|≤2n−1n \leq |w| \leq 2n-1 मुझे समझ में आया बाधा , लेकिन मुझे समझ में नहीं आता कि …

9 automata  finite-automata 

निम्नलिखित विषय से मुक्त व्याकरण प्रस्तुत एक "और झूलते" प्रकार अस्पष्टता (कल्पना करो कि के लिए खड़ा है और के लिए खड़ा है और अनुदेश या ब्लॉक के कुछ अन्य प्रकार के लिए खड़ा है): उदाहरण के लिए, को या रूप में पार्स किया जा सकता है (यह इस व्याकरण …

9 context-free  formal-grammars  parsers  ambiguity 

मैं टाइप थ्योरी में इस बहुचर्चित पेपर को यूनिवर्स में पढ़ रहा हूं । पहले तो मुझे Setωएग्दा में कुछ इसी तरह की उम्मीद थी , लेकिन यह पता चला कि यह और भी सामान्य है। यह एक सादा आगमनात्मक-पुनरावर्ती प्रकार से एक बांधने की मशीन ( और समान ) …

9 lambda-calculus  type-theory 

मैं निम्नलिखित के लिए एक प्रमाण के साथ आने की कोशिश कर रहा हूं: किसी भी भाषा के लिए , वहां मौजूद एक भाषा ऐसी है कि लेकिन बी ।AAABBBA≤TBA≤TBA \le_{\mathrm{T}} B≰TA≰TA\nleq_{\mathrm{T}} A मैं को होने देने के बारे में सोच रहा था , लेकिन मुझे एहसास है कि सभी …

9 computability  reductions  undecidability 

मैं फाइल की एक औपचारिक परिभाषा की तलाश कर रहा हूं जिसमें न केवल भंडारण शामिल है, बल्कि एब्सॉर्बेशन जैसे procfs या / dev / null (या कोई फ़्यूज़-आधारित फ़ाइल) भी शामिल है जो भंडारण से संबंधित नहीं है। अब तक मैं जानता हूं कि सभी फाइलें अमूर्त हैं पहचाना …

9 operating-systems  os-kernel  filesystems 

मैं हाल ही में सोच रहा था कि क्या होगा यदि हम संदर्भ-मुक्त व्याकरणों को अनंत नियमों की संख्या की अनुमति देंगे। जाहिर है, अगर हम नियमों के ऐसे अनंत सेटों की अनुमति देंगे, तो हर भाषाएलLL कुछ वर्णमाला के ऊपर ΣΣ\Sigma एक CFG द्वारा वर्णित किया जा सकता है …

9 formal-languages  context-free  formal-grammars 

क्रिस ओकासाकी के पेपर "फ्लैटनिंग कॉम्बिनेटर: सर्वाइविंग विदआउट पेरेंटेस " में उन्होंने दिखाया कि दो कॉम्बिनेटर एक एप्लीकेशन ऑपरेटर या कोष्ठक की आवश्यकता के बिना ट्यूरिंग-पूर्ण अभिव्यक्ति को एन्कोड करने के लिए पर्याप्त और आवश्यक दोनों हैं। एक आवेदन ऑपरेटर के साथ उपसर्ग कोडिंग एस और के कॉम्बिनेटर के माध्यम …

9 lambda-calculus  combinatory-logic