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

मैं ट्यूरिंग मशीनों के बारे में एक प्रस्तुति कर रहा हूं और मैं ट्यूरिंग मशीनों को शुरू करने से पहले एफएसएम पर कुछ पृष्ठभूमि देना चाहता था। समस्या यह है, मैं वास्तव में नहीं जानता कि क्या एक दूसरे से बहुत अलग है। यहाँ मैं जानता हूँ कि यह अलग …

27 terminology  turing-machines  finite-automata  machine-models 

हाल ही में मेरे CS वर्ग में मुझे ट्यूरिंग मशीन से परिचित कराया गया है। कक्षा के बाद, मैंने 2 घंटे से अधिक यह जानने में बिताया कि टेप और मशीन के बीच क्या संबंध है। मैं कंप्यूटर टेप या कैसे टेप और मशीनों के अस्तित्व से पूरी तरह से …

27 turing-machines  computation-models 

मैं एक इलेक्ट्रिकल इंजीनियर हूं, और 26 साल पहले कॉलेज में केवल एक सीएस कोर्स था। हालाँकि, मैं एक समर्पित गणितज्ञ उपयोगकर्ता भी हूँ। मुझे समझ है कि कंप्यूटर विज्ञान में ट्यूरिंग मशीन बहुत महत्वपूर्ण हैं। क्या महत्व केवल कंप्यूटर विज्ञान के सिद्धांत में है? यदि व्यावहारिक प्रभाव / अनुप्रयोग …

27 turing-machines 

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

26 turing-machines 

मुझे हॉल्टिंग समस्या की अनिर्वायता के प्रमाण को समझने में परेशानी हो रही है। यदि या नहीं, कार्यक्रम रिटर्न एक इनपुट पर हाल्ट ख , हम क्यों की कोड पारित करने के लिए है पी दोनों के लिए एक और ख ?एच( ए , बी )H(a,b)H(a,b)एaaखbbपीPPएaaखbb हम P और कुछ …

25 computability  turing-machines 

यह प्रश्न सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 6 साल पहले पलायन कर गए । मैं पुनरावर्ती और पुनरावर्ती असंख्य भाषाओं की कई परिभाषाओं में आया हूं। लेकिन मैं काफी समझ नहीं पाया कि …

24 formal-languages  computability  turing-machines 

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

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

पिछले सप्ताह कक्षा में, मेरे प्रोफेसर ने टिप्पणी की और कहा कि ट्यूरिंग मशीनों का उपयोग एक मानक माप / मॉडल के रूप में किया जाता है जो कि कम्प्यूटेशनल है और उस विषय के लिए चर्चा का एक सहायक आधार है। उन्होंने यह भी कहा कि ट्यूरिंग मशीनों के …

24 turing-machines  quantum-computing 

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

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

ट्यूरिंग मशीन जो पहले पढ़ी गई स्थिति में वापस आती है, ठीक उसी टेप के एक ही सेल पर उसके रीड / राइट हेड के साथ लूप में पकड़ा जाएगा। ऐसी मशीन रुकती नहीं है। क्या कोई कभी न रुकने वाली मशीन का उदाहरण दे सकता है जो लूप नहीं …

22 computability  turing-machines  halting-problem 

मैंने हाल ही में एक दिलचस्प सादृश्य सुना है, जो बताता है कि ट्यूरिंग समस्या के अनिर्णयता का ट्यूरिंग प्रमाण रसेल के नाई के विरोधाभास के समान है। इसलिए मुझे आश्चर्य हुआ: गणितज्ञों ने अंततः क्षेत्र के कैंटर के अनुभवहीन निर्माण से एक्सीमोंस (जेडएफसी सेट सिद्धांत) के एक अधिक जटिल …

21 computability  turing-machines  computation-models  halting-problem 

मैं उस समस्या के उदाहरणों की तलाश कर रहा हूं जिसमें इनपुट लिए ) की निचली सीमा है ।Ω ( | x |2Ω(|एक्स|2\Omega(|x|^2एक्सएक्सx समस्या के लिए निम्नलिखित गुण होने चाहिए: Ω ( एन2)Ω(n2)\Omega(n^2)किसी भी एल्गोरिथ्म के लिए रनटाइम प्रूफ - पहली प्राथमिकता संभव है कि कम बाउंड तर्क के रूप …

19 complexity-theory  turing-machines  time-complexity  lower-bounds 

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

19 formal-grammars  turing-machines  simulation 

क्या मानक ट्यूरिंग की तुलना में रिक्त कोशिकाओं पर लिखने की क्षमता के बिना एक ट्यूरिंग मशीन कम शक्तिशाली है? मुझे लगता है कि उत्तर हां है, लेकिन मैं एक गणना नहीं पा रहा हूं जो मानक ट्यूरिंग मशीन कर सकती है लेकिन यह मशीन नहीं कर सकती है। कोई …

18 formal-languages  turing-machines  computability  automata 

ट्यूरिंग मशीन (टीएम) की प्राथमिक परिभाषा, कम से कम मेरे स्वयं के संदर्भ पाठ्यपुस्तक (हॉपक्रॉफ्ट + उलेमन 1979) में नियतात्मक है। इसलिए हॉल्टिंग समस्या के बारे में मेरी अपनी समझ मुख्य रूप से निर्धारक टीएम के लिए है, हालांकि मैं जानता हूं कि इसे अन्य प्रकार के ऑटोमेटा के लिए …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata