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

क्या प्रोग्रामिंग भाषा में प्रोग्रामिंग भाषा का एक सेट मौजूद है ताकि ट्यूरिंग को पूर्ण माना जा सके? विकिपीडिया से जो मैं बता सकता हूं , उससे भाषा को पुनरावृत्ति का समर्थन करने की आवश्यकता है, या प्रतीत होता है, बिना रुके दौड़ने में सक्षम होना चाहिए। क्या यह सब …

55 computability  programming-languages  turing-machines  turing-completeness 

जब मुझे (एक) बाहरी प्रोग्राम्स / फ़ंक्शंस पर हुक करना चाहिए तो एक अजीब समस्या सामने आई। फ़ंक्शंस 'C' और 'C ++' में कार्य वेरिएडिक फ़ंक्शंस को हुक नहीं कर सकते , जैसे मैं एक फ़ंक्शन नहीं बना सकता जिसे 'printf' कहा जाता है। ठीक उसी तर्कों के साथ जो …

42 computability  programming-languages  turing-completeness 

मैं किसी को यह समझाने की कोशिश कर रहा था कि सी ट्यूरिंग-पूर्ण है, और मुझे एहसास हुआ कि मैं वास्तव में नहीं जानता कि क्या यह वास्तव में, तकनीकी रूप से ट्यूरिंग-पूर्ण है। (सी के रूप में सार शब्दार्थ में, वास्तविक कार्यान्वयन में नहीं है।) "स्पष्ट" उत्तर (लगभग: यह …

39 computability  turing-completeness  c 

मैं देख रहा हूं कि ट्यूरिंग-पूर्ण होना क्या है की अधिकांश परिभाषाएं एक हद तक टॉटोलॉजिकल हैं। उदाहरण के लिए यदि आप Google "ट्यूरिंग का पूरा मतलब क्या है", तो आपको मिलता है: एक कंप्यूटर ट्यूरिंग पूर्ण है यदि यह किसी भी समस्या को हल कर सकता है जो ट्यूरिंग …

34 turing-machines  turing-completeness 

मैं इटा और जोत के बारे में पढ़ रहा था और इस खंड को भ्रामक पाया: इओटा के विपरीत, जहां एक स्ट्रिंग के लिए सिंटैक्टिक पेड़ बाईं तरफ या दाईं ओर शाखा कर सकता है, जोट सिंटैक्स समान रूप से बाएं-शाखा है। नतीजतन, इओटा सख्ती से संदर्भ-मुक्त है, लेकिन जोत …

32 regular-languages  programming-languages  turing-completeness 

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

26 computability  programming-languages  turing-completeness 

मुझे पता है कि, अनिवार्य प्रोग्रामिंग भाषाओं में, एक टिंग-डू लूप भाषा को ट्यूरिंग-कम्प्लीट करने के लिए कंट्रोल फ्लो कंस्ट्रक्शन के रूप में पर्याप्त है (जहाँ तक कंट्रोल फ्लो जाता है - बेशक हमें अनबाउंड मेमोरी और कुछ ऑपरेटर्स की भी आवश्यकता है ...) । मेरे प्रश्न का सार यह …

22 programming-languages  turing-completeness  loops  imperative-programming 

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

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

क्वांटम टोफोली गेट के बारे में : क्या यह शास्त्रीय सार्वभौमिक है, और यदि हां, तो क्यों? क्या यह क्वांटमली यूनिवर्सल है, और क्यों?

20 quantum-computing  circuits  turing-completeness 

मैंने सेलुलर ऑटोमेटा में नियम 110 के लिए विकिपीडिया पृष्ठ पढ़ा है , और मुझे कम या ज्यादा पता है कि वे कैसे काम करते हैं (नियमों का एक सेट यह तय करता है कि अगले 1 या 0 को कहां ड्रा करना है)। मैंने अभी पढ़ा है कि वे …

19 computability  automata  turing-completeness  cellular-automata 

किसी भी मनमाने ढंग से अनुरूप संगणना करने के लिए किन कार्यों को करने की आवश्यकता है ? इसके अलावा, घटाव, गुणा और भाग पर्याप्त होगा? इसके अलावा, क्या किसी को पता है कि एनालॉग संगणना के उपयोग से क्या समस्याएं ठीक होती हैं, लेकिन डिजिटल के साथ नहीं?

17 computability  computation-models  turing-completeness 

मुझे पता है कि यह साबित किया जा सकता है PROLOG एक प्रोग्राम का निर्माण करके ट्यूरिंग-पूर्ण है जो इस तरह से ट्यूरिंग मशीन का अनुकरण करता है: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, …

15 programming-languages  turing-completeness  logic-programming  prolog 

मुझे पता है कि नंद द्वार का उपयोग सर्किट बनाने के लिए किया जा सकता है जो हर सत्य तालिका को लागू करते हैं, और आधुनिक कंप्यूटर नंद द्वार से बने होते हैं। नंद द्वार और ट्यूरिंग पूर्णता के बीच सैद्धांतिक लिंक क्या है? यह मुझे लगता है कि नंद …

14 turing-machines  turing-completeness  digital-circuits 

जैसे बोली कर रहे हैं फिर से पूरा कई-एक में कटौती के तहत। यह देखना तुच्छ है कि सह-आरई में पूरी समस्याएं हैं, भी। एस श्मित्ज़ [1] inbetween कुछ वर्गों पर विचार करता है ELEM और आरईसी । वे विशेष रूप से तैयार किए गए कटौती के तहत इन वर्गों …

14 computability  reductions  turing-completeness  recursion-theory 

मैंने cstheory.SE पर एक समान प्रश्न पूछा है । Stackoverflow पर इस उत्तर के अनुसार एक एल्गोरिथ्म है कि एक गैर-आलसी शुद्ध कार्यात्मक प्रोग्रामिंग भाषा पर एक जटिलता है, जबकि अनिवार्य प्रोग्रामिंग में समान एल्गोरिथ्म । FP भाषा में आलसीपन जोड़ने से एल्गोरिथम ।Ω(nlogn)Ω(nlog⁡n)\Omega(n \log n)Ω(n)Ω(n)\Omega(n)Ω(n)Ω(n)\Omega(n) क्या उच्च क्रम के …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness