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

ब्रेनफक एक ट्यूरिंग पूर्ण प्रोग्रामिंग भाषा है जो केवल 8 प्रतीकों का उपयोग करती है (6 यदि आप I / O को अनदेखा करते हैं)। दो सबसे उल्लेखनीय व्यक्ति जो इसे ट्यूरिंग पूर्णता की ओर धकेलते हैं [और ]अनिवार्य रूप से ब्रेनफक के लेबल और गोटो हैं। आम तौर पर, …

12 turing-completeness 

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

12 computability  computation-models  turing-completeness  church-turing-thesis 

Tex.SE पर एक टिप्पणी ने मुझे आश्चर्यचकित कर दिया। बयान अनिवार्य रूप से है: अगर मैं भाषा X में भाषा X के लिए एक कंपाइलर लिख सकता हूं, तो X ट्यूरिंग-पूर्ण है। कम्प्यूटेबिलिटी और औपचारिक भाषाओं में, यह है: अगर फैसला करता और , तो ।एल ⊆ एल टी एम …

12 computability  turing-completeness 

दो कंप्यूटिंग मॉडल को पूरा होने के लिए दिखाया जा सकता है यदि प्रत्येक दूसरे के लिए एक सार्वभौमिक सिम्युलेटर को एन्कोड कर सकता है। दो लॉजिक्स को पूर्ण होने के लिए दिखाया जा सकता है यदि प्रत्येक के प्रमेय नियमों के एक एन्कोडिंग (और शायद स्वयंसिद्ध यदि मौजूद हों) …

10 computability  logic  turing-completeness 

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

10 computability  turing-machines  simulation  turing-completeness 

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

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

एक बूलियन फ़ंक्शन एक फ़ंक्शन ।च: { ० , १}n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} बूलियन आधार को ट्यूरिंग पूर्ण के रूप में जाना जाता है क्योंकि यह किसी भी अनुक्रम में फ़्लिप करने या अपरिवर्तित रहने की अनुमति देता है। वही कहा जा सकता है द्वार।( ∨ , ∧ …

9 turing-machines  turing-completeness  boolean-algebra