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

मुझे लगता है कि मैं एक पथरी कहलाने के बारे में बहुत उलझन में हूं और एक प्रोग्रामिंग भाषा क्या कहलाती है। मुझे लगता है, और कहा जा सकता है, कि कैलकुलस कार्यक्रमों की समानता के बारे में तर्क करने के लिए एक औपचारिक प्रणाली है। प्रोग्राम में एक मशीन …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

मैं अभद्र-संवेदनशील भाषाओं के लिए व्याकरण के बारे में सोच रहा था और ऐसा लग रहा है कि सीएफ व्याकरण अगर मापदंडों के साथ संयुक्त हो जाए तो यह चाल चलेगा। एक उदाहरण के रूप में, ANTLR जैसे प्रारूप में सरलीकृत अजगर व्याकरण के लिए इस टुकड़े पर विचार करें: …

13 formal-languages  context-free  formal-grammars  parsers 

मान लीजिए कि एक विश्वविद्यालय में एक ट्यूटोरियल सत्र है। हमारे पास प्रश्नों का एक सेट है और छात्रों का एक सेट S = \ {s_1 \ ldots s_n \} । प्रत्येक छात्र को प्रश्नों के एक निश्चित सबसेट में संदेह होता है, अर्थात प्रत्येक छात्र के लिए s_j , …

13 algorithms  complexity-theory  np-complete  np-hard 

मुझसे हाल ही में एक एल्गोरिथम साक्षात्कार में यह समस्या पूछी गई और इसे हल करने में विफल रहा। दो मान N और M को देखते हुए, आपको लंबाई N के क्रमपरिवर्तन की संख्या (1 से N की संख्या का उपयोग करते हुए) की गणना करनी होगी, ताकि क्रमचय में …

13 algorithms  permutations  algorithm-design 

दो तारों को देखते हुए आप कैसे जांच सकते हैं कि वे O (1) स्पेस का उपयोग करके एक-दूसरे के क्रमपरिवर्तन कर रहे हैं? किसी भी तरह से तारों को संशोधित करने की अनुमति नहीं है। नोट: दोनों स्ट्रिंग लंबाई और वर्णमाला के आकार के संबंध में O (1) स्थान।

13 algorithms  strings  space-complexity 

क्या तैयार समस्याओं के लिए कोई ज्ञात एल्गोरिदम है जिसे O (sqrt (N)) की SPACE जटिलता की आवश्यकता है? मुझे पता है कि उस बड़े-ओ समय जटिलता के साथ एल्गोरिदम मौजूद हैं।

13 complexity-theory  asymptotics  space-complexity 

मैं औपचारिक भाषाओं और उत्पादन आधार प्रणालियों (नियम-आधार प्रणाली) का अध्ययन कर रहा हूं और मैं थोड़ा उलझन में हूं कि ये दो शब्द "उत्पादन" और "नियम" का मतलब कंप्यूटर विज्ञान में इतने संदर्भ में एक ही बात क्यों है। अंग्रेजी भाषा में वे एक ही बात का मतलब नहीं …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

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

13 formal-languages  regular-languages 

कल मेरी प्रस्तुति है और मैं अपनी अवधारणाओं को स्पष्ट करना चाहता हूं ... मैंने पढ़ा है कि डीएफए में, "प्रत्येक राज्य के लिए, सभी संभावित प्रतीकों (वर्णमाला) पर संक्रमण को परिभाषित किया जाना चाहिए।" क्या प्रत्येक राज्य के लिए, डीएफए में सभी संभव प्रतीकों पर संक्रमण को परिभाषित करना …

13 automata  finite-automata  nondeterminism 

ऐसा लगता है कि मैंने किसी भी पुनरावर्ती प्रक्रिया को पूंछ-पुनरावृत्ति में बदलने का एक सामान्य तरीका खोज लिया है : एक अतिरिक्त "परिणाम" पैरामीटर के साथ एक सहायक उप-प्रक्रिया को परिभाषित करें। उस पैरामीटर के लिए प्रक्रिया के रिटर्न मान पर लागू किया जाएगा जो लागू करें। आरंभ करने …

13 algorithms  logic  recursion  lisp 

मैं सबूतों के बारे में सोच रहा था और एक दिलचस्प अवलोकन में भाग गया। इसलिए प्रमाण करी-हावर्ड इसोर्फिज्म के माध्यम से कार्यक्रमों के बराबर हैं, और परिपत्र साक्ष्य अनंत पुनरावृत्ति के अनुरूप हैं। लेकिन हम रुकने की समस्या से जानते हैं कि सामान्य परीक्षण में क्या एक मनमाना कार्यक्रम …

13 logic  curry-howard 

मैं इस बारे में सुनता रहता हूं कि किसी को प्रोग्रामिंग भाषा के सिद्धांत को समझने के लिए श्रेणी सिद्धांत को कैसे सीखना चाहिए। अब तक, मैंने श्रेणियों के दायरे में पैर रखने के बिना पीएल का एक अच्छा सौदा सीखा है। हालांकि, मुझे लगा कि जो मुझे याद आ …

13 reference-request  programming-languages  type-theory  category-theory 

एक कॉम्बिनेटर अभिव्यक्ति (एसके आधार में बताएं) को एक फ़ंक्शन के रूप में माना जा सकता है जो कॉम्बीनेटर कैलकुलस एक्सप्रेशंस को कॉम्बीनेटर कैलकुलस एक्सप्रेशन में मैप करता है। यह है कि, एक एक अभिव्यक्ति के बारे में सोच सकते हैं एक समारोह के रूप एक्स : एल → एल …

13 lambda-calculus  combinatory-logic 

यदि पी बराबर एनपी करता है, तो क्या यह अभी भी संभव होगा कि एक क्रिप्टोसिस्टम डिज़ाइन किया जाए जहां इष्टतम क्रिप्टोनालिसिस एल्गोरिथ्म लेता है, कहते हैं, वैध एन्क्रिप्शन और डिक्रिप्शन एल्गोरिदम द्वारा लिया गया समय का वर्ग? क्या ऐसा कोई एल्गोरिदम पहले से मौजूद है?

13 cryptography  encryption 

मेरे लेक्चरर ने बयान दिया कोई भी परिमित समस्या एनपी-पूर्ण नहीं हो सकती है वह उस समय सुडोकू के बारे में बात कर रहा था कि लाइनों के साथ कुछ कह रहा था कि 8x8 सुडोकू के लिए समाधान का एक सीमित सेट है, लेकिन मैं ठीक से याद नहीं …

13 np-complete  np