computability पर टैग किए गए जवाब

यह देखकर कि चॉम्स्की पदानुक्रम में टाइप 3 भाषाओं को एक स्टेट मशीन द्वारा पहचाना जा सकता है जिसमें कोई बाहरी मेमोरी नहीं है (यानी, एक परिमित ऑटोमेटन), टाइप 2 के साथ स्टेट मशीन द्वारा सिंगल स्टैक (यानी पुश-डाउन ऑटोमेटन) और टाइप 0 बाय एक स्टेट मशीन जिसमें दो स्टैक …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

मैं अलग-अलग विषयों पर सर्दियों के पाठ्यक्रम को पढ़ाने की योजना बना रहा हूं, जिनमें से एक कंपाइलर होने जा रहा है। अब, मैं इस समस्या को पूरी तिमाही में देने के लिए असाइनमेंट्स के बारे में सोच रहा था, लेकिन इसने मुझे स्टम्प किया है इसलिए मैं इसे उदाहरण …

32 computability  proof-techniques  compilers 

बाइनरी लैम्ब्डा कैलकुलस के इस 579-बिट प्रोग्राम में अज्ञात रुकने की स्थिति है: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 यही है, यह ज्ञात नहीं है कि यह कार्यक्रम समाप्त होता है या नहीं। इसे निर्धारित करने के लिए, आपको Collatz अनुमान को हल करना होगा - या, कम …

32 algorithms  computability  kolmogorov-complexity 

क्या कोई ट्यूरिंग पूर्ण टाइप किए गए लैम्ब्डा कैल्सी में मौजूद है? यदि हां, तो कुछ उदाहरण क्या हैं?

31 computability  lambda-calculus  type-theory 

मैं सोच रहा था कि क्या एनपी-हार्ड समस्या को समझने के लिए एक अच्छा उदाहरण है जो एनपी-पूर्ण नहीं है और अनिर्दिष्ट नहीं है? उदाहरण के लिए, रुकने की समस्या एनपी-हार्ड है, एनपी-पूर्ण नहीं है, लेकिन यह अनिर्दिष्ट है। मेरा मानना ​​है कि इसका मतलब है कि यह एक समस्या …

31 complexity-theory  computability  np-hard 

राइस की प्रमेय हमें बताती है कि ट्यूरिंग मशीन का एकमात्र अर्थ गुण (यानी मशीन द्वारा गणना की गई फ़ंक्शन के गुण) जो हम तय कर सकते हैं वे दो तुच्छ गुण हैं (यानी हमेशा सच और हमेशा झूठ)। लेकिन ट्यूरिंग मशीनों के अन्य गुण भी हैं जो निर्णायक नहीं …

30 computability  undecidability 

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

30 computability  turing-machines  quantum-computing  nondeterminism 

मैं तिरछेपन के आधार पर हॉल्टिंग प्रॉब्लम (पापादिमित्रिउ की पाठ्यपुस्तक में उदाहरण के लिए दी गई) की अयोग्यता का प्रमाण समझता हूं। जबकि प्रमाण आश्वस्त करता है (मैं इसके प्रत्येक चरण को समझता हूं), यह मेरे लिए इस अर्थ में सहज नहीं है कि मैं यह नहीं देखता कि कोई …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

मैं द्वारा बयान नीचे का सामना करना पड़ा एलन एम ट्यूरिंग यहाँ : "यह विचार कि मशीनें आश्चर्य को जन्म नहीं दे सकती हैं, मेरा मानना ​​है कि, एक ऐसी दार्शनिकता, जिसके लिए दार्शनिक और गणितज्ञ विशेष रूप से विषय हैं। यह धारणा है कि जैसे ही किसी तथ्य को …

29 turing-machines  computability  computation-models 

चर्च-ट्यूरिंग थीसिस में कहा गया है कि जो कुछ भी शारीरिक रूप से गणना की जा सकती है, उसकी गणना ट्यूरिंग मशीन पर की जा सकती है। पेपर "तंत्रिका नेटवर्क के माध्यम से एनालॉग गणना" (सीगलमैन और सोंटैग, सैद्धांतिक कंप्यूटर विज्ञान , 131: 331–360, 1994; पीडीएफ ) का दावा है …

29 computability  turing-machines  church-turing-thesis 

मैं वर्तमान में एल्गोरिदम और जटिलता में एक पुस्तक पढ़ रहा हूं। फिलहाल, मैं कंप्युटेबल और नॉन-कंप्युटेबल फंक्शंस के बारे में पढ़ रहा हूं, और मेरी किताब बताती है कि ऐसे कई और फंक्शन हैं, जो कंप्युटेबल से नॉन-कंप्युटेबल हैं, वास्तव में यह नॉन-कंप्युटेबल है। कुछ अर्थों में मैं सहज …

29 computability  turing-machines  combinatorics 

हमने कार्यों की गणना की अवधारणा के बारे में सीखा। व्यवहार में, वे प्रोग्रामिंग भाषाओं के अनुरूप हैं। एक गुजरती टिप्पणी में, प्रोफेसर ने उल्लेख किया कि सभी कुल कार्यों का वर्ग (अर्थात हर इनपुट के लिए हमेशा समाप्त होने वाले कार्य) उल्लेखनीय नहीं है । इसका मतलब यह होगा …

29 computability  semi-decidability  enumeration 

क्या ऐसे प्रोग्राम हैं जो किसी भी दो भाषाओं के बीच स्रोत कोड का 'अनुवाद' कर सकते हैं (यह मानते हुए कि अनुवादक के पास अपेक्षित पुस्तकालयों तक पहुंच है)? यदि वहाँ हैं, तो वे कैसे काम करते हैं (तकनीक का उपयोग किया जाता है, ज्ञान की आवश्यकता होती है, …

28 computability  programming-languages  compilers 

विकिपीडिया के साथ-साथ अन्य स्रोत जिन्हें मैंने सी के voidप्रकार को एक इकाई प्रकार के रूप में पाया है एक खाली प्रकार के विपरीत। मुझे यह भ्रामक लगता है क्योंकि यह मुझे लगता है कि voidबेहतर एक खाली / नीचे प्रकार की परिभाषा फिट बैठता है। voidजहाँ तक मैं बता …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

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

28 computability  proof-techniques  undecidability