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

क्या ट्यूरिंग मशीन और लैंबडा कैलकुलस के बीच एक संबंध है - या क्या वे केवल एक ही समय के बारे में उत्पन्न हुए थे?

49 computability  lambda-calculus  turing-machines 

मेरे पास तीन संबंधित उपवर्ग हैं, जो नीचे बुलेट बिंदुओं द्वारा हाइलाइट किए गए हैं (नहीं, वे विभाजित नहीं किए जा सकते, यदि आप सोच रहे हैं)। फ़ॉरेन बाउर ने यहां लिखा है कि कुछ कार्य ट्यूरिंग मशीन के माध्यम से साकार होते हैं, लेकिन लैम्ब्डा-कैलकुलस के माध्यम से नहीं। …

48 computability  lambda-calculus  turing-machines 

यह मेरी समझ है कि कम्प्यूटिंग का वर्णन करते समय ट्यूरिंग का मॉडल "मानक" बन गया है। मुझे यह जानने में दिलचस्पी है कि यह मामला क्यों है - यही कारण है कि, टीएम मॉडल अन्य सैद्धांतिक रूप से समकक्ष (मेरी जानकारी के लिए) मॉडल की तुलना में अधिक व्यापक …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

वास्तविक कंप्यूटर में सीमित मेमोरी और केवल एक सीमित संख्या में राज्य होते हैं। इसलिए वे अनिवार्य रूप से परिमित ऑटोमेटा हैं। कंप्यूटर का अध्ययन करने के लिए सैद्धांतिक कंप्यूटर वैज्ञानिक ट्यूरिंग मशीन (और अन्य समकक्ष मॉडल) का उपयोग क्यों करते हैं? असली कंप्यूटर के संबंध में इन मजबूत मॉडलों …

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

क्या प्रत्येक कार्य जो कि आकार के वर्णमाला का उपयोग करके एकल-टेप ट्यूरिंग मशीन पर समय में गणना करने योग्य है। समय एक टेप-ट्यूरिंग मशीन पर आकार की वर्णमाला का उपयोग करके (कहते हैं, और रिक्त)?टी कश्मीर = हे ( 1 ) हे ( टी ) 3 0 , 1 …

40 computability  turing-machines 

मैं "सही मायने में यादृच्छिक" संख्याओं की पीढ़ी को सुनिश्चित करने के लिए एक निश्चित उत्तर चाह रहा हूं कि ट्यूरिंग कम्प्यूटेबल है। मैं नहीं जानता कि यह कैसे मुहावरा है। StackExchange प्रश्न "रैंडम नंबर जनरेशन के लिए कुशल एल्गोरिदम" मेरे प्रश्न का उत्तर देने के करीब आता है। चार्ल्स …

39 reference-request  computability  turing-machines  randomness 

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

38 computability  turing-machines  machine-models  church-turing-thesis 

ट्यूरिंग मशीन के माध्यम से अक्सर पी और एनपी जटिलता कक्षाओं की शुरूआत और स्पष्टीकरण में। संगणना के मॉडल में से एक लैम्ब्डा-पथरी है। मैं समझता हूं, कि संगणना के सभी मॉडल समतुल्य हैं (और अगर हम ट्यूरिंग मशीन के संदर्भ में कुछ भी पेश कर सकते हैं, तो हम …

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

यदि कोई ट्यूरिंग मशीनों को एक सीमित टेप (यानी बंधी हुई जगह का उपयोग करने के लिए ) को प्रतिबंधित करता है , तो हॉल्टिंग की समस्या निर्णायक है, अनिवार्य रूप से क्योंकि कई चरणों के बाद (जो राज्यों की संख्या से गणना की जा सकती है , और , …

33 turing-machines  decidability 

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

31 computability  turing-machines  universal-computation 

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

29 computability  randomness  turing-machines 

हम जानते हैं कि (देखें, उदाहरण के लिए, [1] के सिद्धांत 1 और 3), मोटे तौर पर, उपयुक्त परिस्थितियों में, कार्य जिन्हें बहुपद काल में ट्यूरिंग मशीन द्वारा कुशलतापूर्वक गणना की जा सकती है ("कुशलता से कम्प्यूटेबल") बहुपद तंत्रिका नेटवर्क से व्यक्त किया जा सकता है उचित आकार के साथ, …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning 

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

28 computability  turing-machines  haskell 

मान लीजिए कि मैं ट्यूरिंग समस्या के बारे में ट्यूरिंग के सबूत को औपचारिक बनाना चाहता था ताकि एक मशीन इसकी जांच कर सके। प्रसिद्ध स्वचालित प्रमेय प्रणालियों में से कुछ में मिज़ार, कोक और एचओएल 4 शामिल हैं। मैंने Coq के साथ डाउनलोड किया और प्रयोग किया, लेकिन इसमें …

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

यदि हम पुस्तक (या यदि आप चाहें तो भाषा विनिर्देश के किसी अन्य संस्करण) पर जाते हैं, तो सी कार्यान्वयन के लिए कितनी कम्प्यूटेशनल शक्ति हो सकती है? ध्यान दें कि "C कार्यान्वयन" का एक तकनीकी अर्थ है: यह C प्रोग्रामिंग भाषा विनिर्देश का एक विशेष तात्कालिकता है जहां कार्यान्वयन-परिभाषित …

28 computability  turing-machines  pl.programming-languages  recreational