स्पष्ट, पूर्ण, प्रमाण है कि एक भाषा ट्यूरिंग प्रतियोगिता है?

Question

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

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

मैंने उन वेब साइटों का एक समूह देखा है, जो ट्यूरिंग कम्प्लीट होने का अर्थ "समझाने" के लिए बताते हैं।

बस!

मैं एक पुस्तक (कम्प्यूटेशनल थ्योरी में विशेषज्ञ द्वारा लिखित) या एक सहकर्मी-समीक्षित लेख (एक प्रतिष्ठित पत्रिका में) कहां पा सकता हूं, जो इसका प्रमाण दिखाता है, "यह भाषा एक्सवाईजेड एक कम्प्यूटेशनल मशीन का वर्णन करने में सक्षम है, जिसमें समान कम्प्यूटेशनल शक्ति है ट्यूरिंग मशीन के रूप में ”?

Comments

कोई भी विशेषज्ञ इस तरह का पेपर लिखने वाला नहीं है क्योंकि यह व्यर्थ होगा।

— बाउर

लेकिन कागजात हैं जो ऐसा करते हैं। विचार करें कि क्वासी-विलंब-असंवेदनशील सर्किट ट्यूरिंग-पूर्ण है जिसका निर्माण द्वारा प्रमाण है।

— डैन डी।

मैं अपनी टोपी खाऊंगा यदि आप एक सहकर्मी की समीक्षा किए गए पेपर पा सकते हैं जिसका एक विस्तृत प्रमाण है कि एचटीएमएल 5 + सीएसएस, या एसक्यूएल, या पीएचपी पूरा हो रहा है।

— बाउर

@andrej यह एक कोशिश करो। पर्याप्त नजदीक? XSLT संस्करण 2.0 ट्यूरिंग-पूर्ण है: एक विशुद्ध रूप से परिवर्तन आधारित सबूत । शायद सिर्फ अपनी सब्जियां खाएँ: p

— vzn

यह भी देखें कि क्या एक भाषा पूरी होती है , प्रोग्रामर.से

— vzn

Answer 1

$C_1, C_2$

• $1$$C_i$$I_j$
• $1$$C_i$$C_i > 0$$I_j$$C_i = 0$$I_k$

परिणाम में सिद्ध है:

मार्विन एल। मिंस्की, "ट्यूरिंग मशीनों की थ्योरी में टैग की पोस्ट की समस्या और अन्य विषयों की पुनरावृत्ति में अस्थिरता" (1961)

यह मत भूलो कि एक कम्प्यूटेशनल मॉडल (आपके मामले में एक प्रोग्रामिंग भाषा + एक उपकरण जो उस भाषा में लिखे गए कार्यक्रमों को निष्पादित करता है ) को केवल तभी ट्यूरिंग पूरा माना जा सकता है, जब वह मेमोरी की अनबाउंड राशि (अर्थात स्थान) तक पहुंच का समर्थन करता है या स्टोर कर सकता है ( किसी न किसी रूप में) मनमाने ढंग से बड़े पूर्णांक। एक वास्तविक कंप्यूटर पर एक प्रोग्रामिंग भाषा कार्यान्वयन एक रैखिक बाउंडेड ऑटोमेटन के बराबर है ।

आप रैम मॉडल और आरएएसपी मॉडल पर विकिपीडिया पृष्ठों पर बहुत सारे संदर्भ पा सकते हैं ।

अंत में गणना के विभिन्न मॉडलों के तुल्यता पर केंद्रित एक अच्छी पुस्तक है:

"मारिबेल फर्नांडीज द्वारा संगणना के मॉडल: संगणना सिद्धांत का एक परिचय"

Comments

"यह मत भूलो कि एक प्रोग्रामिंग भाषा को केवल तभी ट्यूरिंग पूरा माना जा सकता है जब वह अनंत स्मृति तक पहुंच का समर्थन करता है" इसलिए ट्यूरिंग पूर्ण भाषा का कार्यान्वयन नहीं हो सकता है? क्या यह आपका निष्कर्ष है? या क्या आप यह कहना चाहते हैं कि सभी (अधिकांश) हम जिन भाषाओं का उपयोग करते हैं, वे ट्यूरिंग कंप्लीट हैं क्योंकि उस आवश्यकता को प्राप्त करना आसान है? दोनों निष्कर्ष आपके उत्तर से मान्य हैं, क्योंकि यह अब खड़ा है।

— बकुरी

bakuriu TM पूर्ण और कम्प्यूटेशनल शक्ति

— vzn देखें

@ बकुरीउ: वास्तव में वाक्य थोड़ा अस्पष्ट है; मेरा केवल यह मतलब है कि एक कम्प्यूटेशनल मॉडल को ट्यूरिंग पूर्ण माना जा सकता है अगर - किसी रूप में - यह एक अनबाउंड स्टोरेज का उपयोग करने की अनुमति देता है। अधिकांश प्रोग्रामिंग लैंग्वेज ट्यूरिंग पूर्ण हैं क्योंकि उनके (सिंटैक्स) विनिर्देशों में वे चर या बिंदुओं के आकार पर सीमा नहीं रखते हैं, लेकिन उनके कार्यान्वयन सीमित हैं; उदाहरण के लिए देखें C की <limit.h>। इसलिए, भले ही आपके पास एक अन-मेमोरी के साथ एक कंप्यूटर है जो C कार्यान्वयन चलाता है, आप उस मेमोरी का उपयोग नहीं कर सकते जब तक कि आप "अतिरिक्त तंत्र" प्रदान नहीं करते हैं जो भाषा का हिस्सा नहीं है।

— Vor

$\{w.w \mid w \in \{0, 1\}\}$

Answer 2

कम्प्यूटेबिलिटी और जटिलता सिद्धांत पर दो सबसे व्यापक रूप से इस्तेमाल की जाने वाली पाठ्य पुस्तकें हैं:

माइकल सिपसर: संगणना के सिद्धांत का परिचय , 2 / ई, सेंगेज, 2005।

जॉन ई होपक्रॉफ्ट; जेफरी डी उल्मैन: ऑटोमेटा थ्योरी, भाषाओं और, अभिकलन , एडिसन-वेस्ले, 1979 का परिचय ।

ले-लोगों के लिए एक सुंदर दर्शन मोनोग्राफ भी है जो औपचारिक प्रमाणों के बिना कम्प्यूटेबिलिटी सिद्धांत के तकनीकी विवरणों के माध्यम से काम करता है।

डगलस हॉफस्टैटर: गोडेल, एस्चर, बाख , बेसिक बुक्स, 1979।

अंत में, कम्प्यूटेबिलिटी के लिए सबसे अच्छा परिचय एक प्रसिद्ध तर्कशास्त्री की पहेली पुस्तक हो सकती है:

रेमंड स्मलीलन: द लेडी या द टाइगर एंड अदर लॉजिक पज़ल्स , पेंगुइन, 1983. (अब एक सस्ती डोवर संस्करण, 2009 में)

(वह लिआर्स के विरोधाभास पर आधारित पहेलियों के एक समूह के साथ शुरू होता है, और फिर एक रहस्यमय लॉक बॉक्स के बारे में शर्लक होम्स-शैली की पहेली की आड़ में एक स्व-रेफ़रेंशियल स्टेटमेंट के निर्माण के माध्यम से आपको काम देता है।)