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

ट्यूरिंग मशीन और अप्रतिबंधित व्याकरण दो अलग-अलग औपचारिकताएं हैं जो आरई भाषाओं को परिभाषित करते हैं। कुछ आरई भाषा निर्णायक हैं, लेकिन सभी नहीं हैं। हम ट्यूरिंग मशीनों के साथ पर्णपाती भाषाओं को यह कह कर परिभाषित कर सकते हैं कि कोई भाषा यदि शब्दाडंबरपूर्ण iff है तो भाषा के …

10 computability  turing-machines  formal-grammars 

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

10 computability  neural-networks 

मुझे एक एन्यूमरेटर से ट्यूरिंग मशीन पर जाने का प्रमाण मिलता है (एन्यूमरेटर चालू रखें और देखें कि क्या यह इनपुट से मेल खाता है) लेकिन मैं यह नहीं देखता कि दूसरा तरीका कैसे काम करता है। मेरे नोट्स और किताब (इंट्रो टू द थ्योरी ऑफ कंपीटिशन - सिपर) के …

10 computability  turing-machines  intuition 

वहाँ है एक की जरूरत के लिए L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* होने के लिए अनंत अनिर्णनीय होने के लिए? मेरा मतलब है कि अगर हम एक भाषा का चयन करते हैं तो एक परिमित परिमित संस्करण हो सकता है , जो कि है , ( ), । क्या लिए एक अयोग्य भाषा …

10 formal-languages  computability  undecidability 

A और B को ⊆ B, और B की भाषाएं Turing-पहचाने जाने योग्य हैं। क्या ए ट्यूरिंग-पहचानने योग्य नहीं हो सकता है? यदि हां, तो क्या इसका कोई उदाहरण है?

10 computability 

ठीक है, इसलिए यहां मेरे थ्योरी ऑफ़ कंप्युटेशन क्लास के पिछले टेस्ट का एक प्रश्न है: टीएम में एक बेकार स्थिति वह है जो कभी भी किसी इनपुट स्ट्रिंग पर दर्ज नहीं की जाती है। चलो सिद्ध करें कि U S E L L E S S T M अपरिहार्य …

10 computability  undecidability  formal-methods  turing-machines 

क्या "राइस प्रमेय फॉर कम्प्यूटेबल रियल्स" है - अर्थात, किसी दिए गए कंप्युटेबल रियल द्वारा दर्शाई गई संख्या की कोई भी गुणात्मक गुणधर्म सत्य नहीं है? क्या यह वास्तविकताओं की कनेक्टिविटी के लिए कुछ प्रत्यक्ष तरीके से मेल खाता है?

10 computability  real-numbers  computable-analysis 

इस साइट पर इस सवाल पर कई वेरिएंट हैं कि क्या टीएम हॉल्टिंग की समस्या को तय कर सकते हैं, चाहे अन्य सभी टीएम या कुछ सबसेट के लिए। यह सवाल कुछ अलग है। यह पूछता है कि क्या यह तथ्य सभी टीएम पर लागू होने वाली रुकावट की समस्या …

9 computability  turing-machines  undecidability  halting-problem 

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

9 computability  turing-machines  undecidability  rice-theorem 

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

9 computability  reductions  undecidability 

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

9 computability  undecidability 

यह प्रश्न मेरे लिए समस्या को हल करने के बारे में हुआ और मैं ऑनलाइन एक अच्छा उत्तर नहीं पा सका, सोच रहा था कि कोई मदद कर सकता है। क्या यह संभव है कि किसी भी इनपुट पर किसी भी TM के लिए रुकने की समस्या इतनी कम हो …

9 computability  undecidability  halting-problem 

यह साबित करने के लिए कि 3-रंग निर्णायक है, क्या यह कहना पर्याप्त है: ग्राफ में प्रत्येक नोड में 3 संभावित रंग हैं इसलिए हम सभी संभावनाओं पर गणना कर सकते हैं और फिर जांच सकते हैं कि कोई भी दो किनारे नोड्स को एक ही रंग से नहीं जोड़ते …

9 computability  turing-machines  colorings 

मान लीजिए कि मेरे दो कार्य और और मैं यह निर्धारित करने में रुचि रखता हूं कि क्याFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. मान लीजिए कि मेरे कार्य प्राथमिक कार्यों (बहुपद, घातांक, लॉग, और त्रिकोणमितीय कार्यों) से बने हैं, लेकिन टेलर श्रृंखला नहीं कहते हैं। क्या यह समस्या निर्णायक है? यदि …

9 computability  undecidability  mathematical-analysis  computer-algebra 

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

9 computability  computation-models