universal-computation पर टैग किए गए जवाब

मैं कार्ड गेम के नियमों में एक साधारण ट्यूरिंग मशीन को एनकोड करना चाहता हूं। ट्यूरिंग पूर्णता साबित करने के लिए मैं इसे एक सार्वभौमिक ट्यूरिंग मशीन बनाना चाहता हूं। अब तक मैंने एक गेम स्टेट बनाया है जो एलेक्स स्मिथ के 2-स्टेट, 3-सिंबल ट्यूरिंग मशीन को एनकोड करता है …

31 computability  turing-machines  universal-computation 

यदि हम DTIME पदानुक्रम प्रमेय को देखते हैं, तो हमें एक सार्वभौमिक मशीन द्वारा नियतात्मक ट्यूरिंग मशीन के अनुकरण में ओवरहेड के कारण लॉग मिला है: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) हमने DSPACE के NTIME के ​​लिए इस तरह का ओवरहेड नहीं बनाया है। एक मूल औचित्य सिमुलेटर के बीच के …

30 cc.complexity-theory  universal-computation  time-hierarchy 

हमें ट्यूरिंग-मशीन और एक सार्वभौमिक ट्यूरिंग मशीन का एक उपसर्ग मुक्त एन्कोडिंग को ठीक करते हैं UUU कि इनपुट पर (T,x)(T,x)(T,x) (का उपसर्ग से मुक्त कोड के रूप में एन्कोड TTT के बाद xxx आउटपुट) जो कुछ भी TTT पर इनपुट आउटपुट xxx (संभवतः दोनों हमेशा के लिए चल रहे …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

मैं इस तरह के किसी भी मॉडल के बारे में नहीं सोच सकता, शायद टाइप किए हुए लंबो कैलकुलस का कोई रूप? कुछ प्राथमिक सेलुलर ऑटोमेटन? यह वुल्फराम के "कम्प्यूटेशनल इक्वलेंस का सिद्धांत" को लगभग नापसंद करेगा : लगभग सभी प्रक्रियाएं जो स्पष्ट रूप से सरल नहीं हैं, उन्हें समान …

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

क्या यह व्याकरण कार्यक्रमों का सुधार है ? पिछले Vag और टिप्पणीकारों से कई सुझावों के साथ पूछा । किस तरह से एक व्याकरण को गणना के मॉडल को निर्दिष्ट करने के रूप में देखा जा सकता है? यदि, उदाहरण के लिए, हम एक सरल संदर्भ-मुक्त व्याकरण लेते हैं G …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

मैं सबसे छोटे संभव सार्वभौमिक कॉम्बिनेटर की तलाश कर रहा हूं , जो लैम्बडा कैलकुलस में ऐसे कॉम्बिनेटर को निर्दिष्ट करने के लिए आवश्यक अमूर्त और अनुप्रयोगों की संख्या से मापा जाता है । यूनिवर्सल कॉम्बिनेटर के उदाहरणों में शामिल हैं: आकार 23: λf.f (fS (KKKI)) के आकार 18: λf.f …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

क्या गैर-वॉन न्यूमैन प्रोग्रामिंग मॉडल के लिए कोई व्यावहारिक अनुप्रयोग हैं? सबसे व्यापक रूप से अपनाई जाने वाली गैर-वॉन न्यूमैन प्रोग्रामिंग भाषाएं क्या हैं?

16 universal-computation  logic-programming 

ग्रेग एगन ने अपने कथा "डार्क इंटेगर्स" में (दो अलग गणित के साथ दो ब्रह्मांडों के बारे में कहानी जो अंकगणित में असंगति के आसपास प्रमेयों को साबित करने के माध्यम से संप्रेषित करती है) का दावा है कि केवल सामान्य इंटरनेट का उपयोग करके मौजूदा इंटरनेट राउटरों का निर्माण …

14 computability  universal-computation 

एक एल्गोरिथ्म को लिखने के लिए एक पुरानी चाल है, अगर पी = एनपी, बहुपद समय में सैट को हल करता है। अनिवार्य रूप से, एक सभी बहुपद समय मशीनों और उन पर बहु-कार्यों को सूचीबद्ध करता है। क्या एक-तरफ़ा फ़ंक्शंस (या यहां तक ​​कि एक तरफ़ा ट्रैफ़िक फ़ंक्शंस) के …

13 universal-computation  one-way-function 

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

10 turing-machines  universal-computation  charles-babbage 

बर्नस्टीन और Vazirani के लाभदायक कागज "क्वांटम जटिलता सिद्धांत" में, वे बताते हैं कि एक आयामी एकात्मक परिवर्तन कुशलता से वे क्या "के पास तुच्छ रोटेशन" और "के पास तुच्छ चरण बदलाव" कॉल का एक उत्पाद इसका अनुमान लगाया जा सकता है।ddd "निकट-तुच्छ घूर्णन" -ddimensional एकात्मक मैट्रिक्स हैं जो सभी …

10 quantum-computing  linear-algebra  universal-computation 

कम्प्यूटेशनल सार्वभौमिकता के कई अलग (संभवत: असमान) विचार हैं (उदाहरण के लिए http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07.DRAFT.pdf के अंतिम दो पृष्ठ देखें ) और इसमें कोई आम सहमति नहीं है विशेषज्ञ जिनके बारे में धारणाएँ सही हैं (उदाहरण के लिए देखें http://cs.nyu.edu/pipermail/fom/2007-October/012148.html )। मैं बायोमोलेक्यूलर कम्प्यूटेशन के एक विशेष मॉडल के बारे में कुछ …

10 universal-computation 

आइए हम ट्यूरिंग-मशीनों और एक सार्वभौमिक ट्यूरिंग-मशीन, यू की एन्कोडिंग को ठीक करते हैं, जो इनपुट पर (टी, एक्स) इनपुट एक्स पर जो भी टी आउटपुट उत्पन्न करता है (संभवतः दोनों हमेशा के लिए चल रहा है)। कम से कम कार्यक्रम की लंबाई के रूप में x, K (x) की …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines