turing-machines पर टैग किए गए जवाब

मैंने कई बार पढ़ा कि NDTM के उत्तर को कुशलता से फ्लिप करना संभव नहीं है। हालाँकि, मुझे समझ नहीं आता कि क्यों। उदाहरण के लिए, एक NDTM दिया में रन है कि , इस पाठ (खंड 3.3) में कहा गया है कि यह स्पष्ट नहीं है कि एक और …

11 complexity-theory  turing-machines 

मैं यूनिवर्सल ट्यूरिंग मशीन के बारे में दो सवालों के जवाब खोजने की कोशिश कर रहा हूं। यूनिवर्सल ट्यूरिंग मशीन एक ट्यूरिंग मशीन का अनुकरण कैसे कर सकती है यदि जिस व्यक्ति की नकल की जा रही है उसके पास बड़ी संख्या में राज्य हैं? यूनिवर्सल ट्यूरिंग मशीन एक ट्यूरिंग …

10 computability  turing-machines  simulation  turing-completeness 

यह तय करने की समस्या कि क्या इनपुट एक पैलिंड्रोम है या ट्यूरिंग मशीन पर स्थान की आवश्यकता साबित नहीं हुई है । हालांकि, यहां तक ​​कि इनपुट को स्टोर करने में स्पेस लगता है, तो इसका मतलब यह नहीं है कि सभी ट्यूरिंग मशीनों को स्पेस ?Ω ( लॉगn …

10 turing-machines  space-complexity 

मैंने उन वेब साइटों को देखा है जो एचटीएमएल 5 + सीएसएस ट्यूरिंग कम्प्लीट करने के लिए "साबित" करने का उद्देश्य रखते हैं। मैंने उन वेब साइटों को देखा है जो कि एसक्यूएल ट्यूरिंग कम्प्लीट करने के लिए "साबित" करने के लिए है। मैंने उन वेब साइटों का एक समूह …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

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

10 computability  turing-machines  formal-grammars 

क्या यह स्वीकार करने का मतलब है कि टीएम उस सेल से एक चार्ट को पढ़ेगा और पहचानेगा जो वर्तमान में पढ़ रहा है? और क्या यह मामला है कि यदि इनपुट अस्वीकृत हो जाता है तो एक TM रुक जाता है?

10 terminology  turing-machines  undecidability 

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

10 complexity-theory  turing-machines  machine-models  simulation 

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

10 computability  turing-machines  intuition 

मुझे निम्नलिखित एल्गोरिथम समस्या है: वॉटसन-क्रिक पलिंड्रोम्स जो डीएनए स्ट्रिंग्स को पहचानने की जटिलता को निर्धारित करते हैं। वाटसन-क्रिक पैलिंड्रोम्स तार होते हैं जिनका उलटा पूरक मूल स्ट्रिंग है। पूरक परिभाषित किया गया है पत्र के लिहाज से, डीएनए से प्रेरित: एक टी के पूरक है और सी है ACGT …

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

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

10 computability  undecidability  formal-methods  turing-machines 

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

9 computability  turing-machines  undecidability  halting-problem 

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

9 computability  turing-machines  undecidability  rice-theorem 

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

9 computability  turing-machines  colorings 

इनपुट स्ट्रिंग के रूप में दिया जाता है w1w2...wnw1w2...wnw_1w_2...w_n। फिर अगर कोई NFA वर्तमान में राज्य में हैrrr (और वर्णमाला तक इनपुट पढ़ा है wiwiw_i ) फिर अगले इनपुट प्रतीक को पढ़ने से पहले एनएफए दो एनएफए में विभाजित हो जाता है, एक राज्य में होता है rrr और अन्य …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

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

9 turing-machines  finite-automata