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

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

10 cc.complexity-theory  turing-machines 

मैं वितरित प्रणालियों पर केंद्रित एक मास्टर छात्र हूं, लेकिन सैद्धांतिक कंप्यूटर विज्ञान में भी रुचि रखता हूं। मैं सोच रहा था कि क्या ट्यूरिंग मशीन के शीर्ष पर एक वितरित प्रणाली का औपचारिक प्रतिनिधित्व है? यही है, क्या वितरित कंप्यूटिंग का लाभ लेने के लिए एक ट्यूरिंग मशीन की …

10 turing-machines  dc.distributed-comp 

मैं बहुत ही रोचक और अभी भी खुले प्रश्न " सिंगल-टेप ट्यूरिंग मशीन की वर्णमाला " (इमानुएल वायोला द्वारा) के साथ खेल रहा था और निम्नलिखित भाषा के साथ आया: L = { x ∈ { 0 , 1 }n सेंट | x | = एन = २म और सी …

10 cc.complexity-theory  turing-machines  time-complexity 

अधिकांश साहित्य विशिष्ट समस्याओं के लिए एकल oracles के साथ मशीनों से संबंधित प्रतीत होता है, हालांकि कुछ कागजात प्रतीत होते हैं जो कई oracles के साथ मशीनों पर विचार करते हैं। क्या एक अच्छा पेपर या थीसिस है जो इस तरह की मशीनों के बारे में जाना जाता है? …

10 oracles  turing-machines 

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

9 automata-theory  turing-machines  cellular-automata 

क्या बाउंड-विजिट नॉनडेर्मिनिस्टिक लीनियर बाउंडेड ऑटोमेटा केवल नियमित भाषाओं को पहचानती है? एक nondeterministic रैखिक बाउंड ऑटोमेटन (nLBA) से मेरा मतलब है कि एकल-टेप nondeterministic ट्यूरिंग मशीन है जहाँ इनपुट दोनों छोर पर एंडमार्कर्स के साथ "गद्देदार" आता है जिसे कभी भी अधिलेखित नहीं किया जा सकता है, और ताकि …

9 automata-theory  turing-machines  regular-language  space-bounded 

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

9 turing-machines  proof-theory  halting-problem