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

कोई भी भाषा जो ट्यूरिंग पूर्ण नहीं है, वह इसके लिए एक दुभाषिया नहीं लिख सकती है। मुझे कोई सुराग नहीं है कि मैंने कहाँ पढ़ा है लेकिन मैंने देखा है कि यह कई बार इस्तेमाल किया गया है। ऐसा लगता है कि यह एक प्रकार की "परम" गैर ट्यूरिंग …

16 computability  turing-machines 

विशुद्ध रूप से अमूर्त गणित / कम्प्यूटेशनल तर्क के दृष्टिकोण से, (कैसे) 3-सैट, सबसेट सम, ट्रैवलिंग सेल्समैन आदि जैसी समस्याओं के बारे में भी पता लगा सकता है। क्या हम किसी भी सार्थक तरीके से उनके बारे में तर्क करने में सक्षम होंगे, केवल कार्यात्मक दृष्टिकोण के साथ? क्या यह …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

ट्यूरिंग मशीन द्वारा परिभाषित एक भाषा L को देखते हुए, जो इसे तय करती है, क्या यह एल्गोरिदमिक रूप से निर्धारित करना संभव है कि L, NP में निहित है या नहीं?

15 cc.complexity-theory  computability  turing-machines 

इस सवाल के संबंध में यह मेरे लिए आश्चर्य की बात है: सिंगल-टेप सिंगल-हेड ट्यूरिंग मशीन के लिए अपने इनपुट की लंबाई की गणना करने के लिए समय की जटिलता क्या है? विशिष्ट होना करने के लिए, मान लें कि टेप वर्णमाला है चलो , इनपुट में एक स्ट्रिंग है …

13 turing-machines 

वहाँ एक सबूत है कि एक विचलित ट्यूरिंग मशीन पर ट्यूरिंग मशीन का अनुकरण ओ ( एम लॉगम )O(mlog⁡m)\mathcal{O}\left(m\log m\right) से कम में नहीं किया जा सकता है जहां mmm ट्यूरिंग मशीन के उपयोग की चरणों की संख्या है? या यह सिर्फ एक ऊपरी बाध्यता है? पॉल विटैनी के पेपर …

13 cc.complexity-theory  turing-machines 

सीधे शब्दों में कहें: oracles के साथ ट्यूरिंग मशीनों, और oracles के साथ समान सर्किट परिवारों के बीच क्या पत्राचार है? किसी दिए गए ओरेकल ट्यूरिंग मशीन के लिए समान कम्प्यूटेशनल मॉडल प्राप्त करने के लिए उत्तरार्द्ध को कैसे परिभाषित किया जाता है? यह एक प्रारंभिक प्रश्न हो सकता है, …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

क्या कोई ट्यूरिंग मशीन है जो यह तय कर सकती है कि लगभग सभी अन्य ट्यूरिंग मशीनें रुक रही हैं या नहीं? N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i \text{ can't decide whether }M_n \text{ halts} \}\|. क्या …

12 turing-machines  halting-problem 

हॉल्टिंग समस्या को सर्वविदित होने के लिए जाना जाता है। हालांकि, हॉल्टिंग समस्या के बारे में जानकारी को "संपीड़ित" करना संभव है, ताकि डिकम्प्रेसिंग यह कम्प्यूटेशनल हो। अधिक सटीक रूप से, ट्यूरिंग मशीनों के विवरण से गणना करना संभव है और एक एन -बिट सलाह राज्य के सभी 2 एन …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

समय पदानुक्रम प्रमेय में कहा गया है कि ट्यूरिंग मशीन अधिक समस्याओं को हल कर सकती हैं यदि उनके पास (पर्याप्त) अधिक समय है। यदि अंतरिक्ष asymptotically सीमित है तो क्या यह किसी तरह से पकड़ में आता है? कैसे करता है DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) से संबंधित DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) अगर fgfg\frac{f}{g} …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

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

12 reference-request  turing-machines  p-vs-np 

परिभाषित भाषाओं के वर्ग है कि एक (multitape) द्वारा स्वीकार किया जा सकता है के रूप में में टाइम मशीन ट्यूरिंग च ( एन ) + 1 । ( " + 1 वहाँ कोई है सूचना है कि" सिर्फ सरल संकेतन और से बचने के भ्रम की स्थिति है।) हे …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

संबंधित प्रश्न को पढ़ने के बाद , एल्गोरिदम के गैर-रचनात्मक अस्तित्व के प्रमाणों के बारे में, मैं सोच रहा था कि क्या वास्तव में इसका निर्माण किए बिना "छोटे" (कहते हैं, राज्य-वार) कम्प्यूटेशन मशीनों के अस्तित्व को दिखाने के तरीके हैं। औपचारिक रूप से: मान लें कि हमें कुछ भाषा …

11 cc.complexity-theory  automata-theory  turing-machines 

मैं एक छोटी सी भाषा की तलाश कर रहा हूं जो 'कंविंस' छात्रों की मदद करती है कि ट्यूरिंग मशीन एक पर्याप्त सामान्य कंप्यूटिंग मॉडल है। यही है, एक भाषा जो उन भाषाओं की तरह दिखती है जिनका वे उपयोग करते हैं, लेकिन एक ट्यूरिंग मशीन पर अनुकरण करना भी …

11 turing-machines 

उत्तर: ज्ञात नहीं है उन सभी के लिए बहुत धन्यवाद जिन्होंने इस प्रश्न और इससे जुड़ी परिभाषाओं को परिष्कृत करने में मदद की। इस विकी की परिभाषाओं ने अधिक हालिया टीसीएस विकी के लिए शुरुआती बिंदु प्रदान किया " क्या पी में ऐसी भाषाएं हैं जिनका अस्तित्व पीए या जेडएफसी …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

रॉबिन गैंडी एलन ट्यूरिंग का छात्र था । गैंडी ने बैबेज के एनालिटिकल इंजन का विश्लेषण किया (देखें 'गैंडी - 1936 में विचारों का संगम', हेरकेन, रॉल्फ - द यूनिवर्सल ट्यूरिंग मशीन-अ हाफ सेंचुरी सर्वे । स्प्रिंगर वर्लाग) में उद्धृत - और यह कहा (cf. पी। 52-53): अंकगणितीय कार्य +, …

10 turing-machines  universal-computation  charles-babbage