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

मैं कम्प्यूटेशनल जटिलता और ट्यूरिंग मशीनों के बारे में एक किताब पढ़ना शुरू कर रहा हूं। यहाँ उद्धरण है: एक एल्गोरिथ्म (यानी, एक मशीन) एक बिट स्ट्रिंग के रूप में प्रतिनिधित्व किया जा सकता है जब हम कुछ विहित एन्कोडिंग पर निर्णय लेते हैं। यह दावा एक साधारण तथ्य के …

17 algorithms  turing-machines  computability  computation-models 

वहाँ कई (और मेरा मतलब है कई) गिनने योग्य भाषाएं हैं जो ट्यूरिंग-डिसिडेबल हैं। क्या कोई भी बेशुमार भाषा ट्यूरिंग डिसिडेबल हो सकती है?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

क्या एक ट्यूरिंग मशीन मौजूद है जो सभी इनपुटों पर रुकती है लेकिन यह संपत्ति किसी कारण से साबित नहीं होती है? मैं सोच रहा हूं कि क्या इस सवाल का अध्ययन किया गया है। ध्यान दें, "अनप्रोवेबल" का मतलब "सीमित" प्रूफ सिस्टम हो सकता है (जो कमजोर अर्थों में …

17 computability  reference-request  turing-machines  halting-problem 

एन-बॉडी समस्या के लिए कोई सामान्य विश्लेषणात्मक समाधान नहीं है जो एक विश्लेषणात्मक फ़ंक्शन का उत्पादन कर सकता है जिसका उपयोग सटीक सटीकता के साथ मनमाने समय टी में एन-बॉडी सिस्टम की स्थिति देने के लिए किया जा सकता है। हालांकि, एन-बॉडी सिस्टम के कुछ विशेष मामले हैं जिनके लिए …

16 computability  turing-machines  undecidability  computation-models 

इस सवाल में हम केवल ट्यूरिंग मशीनों पर विचार करते हैं जो सभी इनपुटों पर रोकती हैं। अगर कश्मीर ∈ एनk∈Nk \in \mathbb{N} तब तक टी kTkT_k हम ट्यूरिंग मशीन जिसका कोड है निरूपित कश्मीरkk । निम्नलिखित कार्य पर विचार करें रों ( एक्स , वाई ) = मिनट { …

16 computability  turing-machines 

चलो एक निश्चित समय-constructable समारोह हो।fff टीएम (हेनी और स्टर्न्स, 1966) के लिए शास्त्रीय सार्वभौमिक सिमुलेशन परिणाम बताता है कि दो-टेप टीएम जैसे कि दिए गए हैंUUU TM का वर्णन , और⟨M⟩⟨M⟩\langle M \rangle एक इनपुट स्ट्रिंग ,xxx लिए रन कदम और पर का जवाब देता है । और को …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

ध्यान दें कि यह एक विश्वविद्यालय में एक सीएस कोर्स में अध्ययन से संबंधित प्रश्न है, यह होमवर्क नहीं है और यह फॉल 2011 परीक्षा 2 के तहत यहां पाया जा सकता है । यहां पिछले परीक्षा के दो प्रश्न दिए गए हैं। वे संबंधित प्रतीत होते हैं, पहला: चलो …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

वहाँ सापेक्ष स्थानिकताएँ हैं (उदाहरण MH spacetimes; हॉगर्थ 1994 देखें) जहाँ अनंत अवधि की एक विश्व रेखा को परिमित प्रेक्षक के अतीत में समाहित किया जा सकता है। इसका मतलब यह है कि एक सामान्य पर्यवेक्षक के पास गणना चरणों की अनंत संख्या तक पहुंच हो सकती है। यह मानते …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

एक चर्चा में किसी ने कहा कि वह (वह लगता है) एक विशिष्ट समस्या का सामना करने के लिए कम से कम निरंतर संख्या में रणनीतियां हो सकती हैं। विशिष्ट समस्या ट्रेडिंग रणनीतियों (एल्गोरिदम नहीं बल्कि रणनीतियां) थीं, लेकिन मुझे लगता है कि मेरे सवाल के लिए यह महत्वपूर्ण है। …

15 algorithms  turing-machines  combinatorics 

वर्तमान शतरंज एल्गोरिदम खिलाड़ी की चाल और प्रतिद्वंद्वी की चाल के आधार पर संभावित रास्तों के एक पेड़ के बारे में 1 या शायद 2 स्तर नीचे जाते हैं। मान लें कि हमारे पास एक एल्गोरिथम विकसित करने के लिए कंप्यूटिंग शक्ति है जो एक शतरंज के खेल में प्रतिद्वंद्वी …

15 algorithms  turing-machines 

मैं इस संदेश को लिखने के लिए एक डिजिटल कंप्यूटर का उपयोग कर रहा हूं। ऐसी मशीन में एक संपत्ति होती है, जो यदि आप इसके बारे में सोचते हैं, तो यह वास्तव में काफी उल्लेखनीय है: यह एक मशीन है , जिसे यदि उचित रूप से क्रमादेशित किया जाता …

15 computability  turing-machines  history 

मुझे पता है कि नंद द्वार का उपयोग सर्किट बनाने के लिए किया जा सकता है जो हर सत्य तालिका को लागू करते हैं, और आधुनिक कंप्यूटर नंद द्वार से बने होते हैं। नंद द्वार और ट्यूरिंग पूर्णता के बीच सैद्धांतिक लिंक क्या है? यह मुझे लगता है कि नंद …

14 turing-machines  turing-completeness  digital-circuits 

मेरे पास ये प्रश्न हैं कि मैं एक पुरानी परीक्षा से हल करने की कोशिश कर रहा हूं। प्रत्येक समस्या के लिए, इनपुट कुछ ट्यूरिंग मशीन का एन्कोडिंग है MMM। पूर्णांक c>1c>1c>1 और निम्नलिखित तीन समस्याओं के लिए: क्या यह सच है कि हर इनपुट xxx , M पास नहीं …

14 computability  turing-machines  undecidability 

बहुत सारी "प्रसिद्ध" अकल्पनीय समस्याएं कम से कम अर्ध-विचारणीय हैं, उनके पूरक के अयोग्य होने के साथ। इन सबसे ऊपर एक उदाहरण है, हॉल्टिंग की समस्या और इसका पूरक। हालाँकि, क्या कोई मुझे एक उदाहरण दे सकता है जिसमें कोई समस्या और उसका पूरक दोनों ही अनिर्णायक हैं और क्या …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

मैं गैर-पहचानने योग्य भाषाओं के अस्तित्व को समझने की कोशिश कर रहा हूं। इसे प्राप्त करने के लिए, मुझे यह जानना होगा कि ट्यूरिंग मशीन केवल एक भाषा को क्यों पहचानती है, एकाधिक को नहीं। ऐसा क्यों है?

13 turing-machines  computation-models