सॉफ्टवेयर निर्माण, भाषाओं और एपीआई की एक सूची जो अप्रत्याशित रूप से ट्यूरिंग को पूरा करती है; सुरक्षा और विश्वसनीयता के लिए इसके निहितार्थ। अनुप्रयोग: आपके कंप्यूटर में कितने कंप्यूटर हैं?

किसी भी काफी जटिल सी या फोरट्रान कार्यक्रम में एक नया लिखित, अनिर्दिष्ट, छोटी गाड़ी है, और आम लिस्प भाषा के आधे से धीमी गति से कार्यान्वयन । - दसवां ग्रीनस्पैन नियम

ट्यूरिंग पूर्णता (टीसी) इनपुट और आउटपुट के कुछ सरल प्रतिनिधित्व के साथ किसी भी कम्प्यूटेशनल फ़ंक्शन को लागू करने के लिए सिस्टम की एक संपत्ति है।

ट्यूरिंग संपूर्णता कंप्यूटर विज्ञान में एक मौलिक अवधारणा है। यह कई महत्वपूर्ण सवालों के जवाब देने में मदद करता है, उदाहरण के लिए, क्यों सही एंटीवायरस प्रोग्राम बनाना असंभव है। लेकिन एक ही समय में, यह एक हड़ताली सामान्य घटना है। ऐसा लगता है कि एक कंप्यूटर सिस्टम के लिए इतनी सार्वभौमिकता हासिल करना मुश्किल है कि वह किसी भी कार्यक्रम को निष्पादित कर सकता है, लेकिन इसके विपरीत सच है: एक उपयोगी प्रणाली लिखना मुश्किल है जो तुरंत एक पूर्ण ट्यूरिंग में नहीं बदल जाता है। यह पता चला है कि इनपुट डेटा पर भी थोड़ा नियंत्रण है और उन्हें एक परिणाम के रूप में परिवर्तित करना, एक नियम के रूप में, आपको एक ट्यूरिंग-पूर्ण प्रणाली बनाने की अनुमति देता है। यह अजीब, उपयोगी (हालांकि आमतौर पर नहीं ), हानिकारक या अत्यंत असुरक्षित और हैकर के लिए एक वास्तविक वर्तमान हो सकता है (देखें "भाषा-सैद्धांतिक सुरक्षा" , जो "अजीब मशीनों" की हैकिंग विधियों का अध्ययन करता है ¹ )। इस व्यवहार के अद्भुत उदाहरण हमें याद दिलाते हैं कि ट्यूरिंग पूर्णता हर जगह दुबक जाती है, और सिस्टम की रक्षा करना बेहद मुश्किल है।

बहुत शक्तिशाली प्रोग्रामिंग भाषाएं अप्रिय DoS हमलों को भी ट्रिगर कर सकती हैं। Fazzer afl ने OpenBSD में ऐसा रफ़ पाया कि यह कुछ स्ट्रिंग प्रतिस्थापन नियमों का दुरुपयोग करते हुए एक अनंत लूप पैदा करने में सक्षम है।

संभवतः, ट्यूरिंग-पूर्ण सिस्टम के इन अप्रत्याशित उदाहरणों को "खोजे गए" या "पाए गए" गूढ़ प्रोग्रामिंग भाषाओं के सबसेट के रूप में माना जाता है। तो असाधारण रूप से न्यूनतर FRACTRAN को ² नहीं माना जाता है , साथ ही साथ विशेष रूप से obfuscated भाषा Malbolge (जहां एक तुच्छ कार्यक्रम लिखने में वर्षों लगेंगे), क्योंकि ये विशेष रूप से गूढ़ हांप डिजाइन किए गए हैं। इसके अलावा, लाइफ गेम हमारे सबसेट में शामिल नहीं है, क्योंकि ट्यूरिंग पूर्णता के बारे में प्रश्न इसके जारी होने के तुरंत बाद दिखाई दिए, और इसकी पूर्ण ट्यूरिंग की मान्यता आश्चर्य के रूप में नहीं आई। और रूटिंग और पैकेट स्विचिंग नेटवर्क की जटिलता को देखते हुए, यह आश्चर्य की बात नहीं है कि इन नेटवर्क या लॉजिक योजनाओं पर एक सेलुलर ऑटोमोबोन बनाया जा सकता है और टिकट योजना / सत्यापन न केवल एक एनपी-कठिन या यहां तक ​​कि EXPSPACE- कठिन कार्य है, बल्कि पूरी तरह से अयोग्य भी है (इसके कारण) जटिल एयरलाइन नियम)।

कई विन्यास, विशेष भाषाएं, उपकरण या जटिल खेल, जैसा कि यह पता चलता है, कम से कम शक्ति के नियम का उल्लंघन करते हैं और "गलती से ट्यूरिंग पूर्ण हो जाते हैं" , जैसे कि MediaWiki , sed टेम्पलेट या संपादक में दोहराया regexp / find-प्रतिस्थापित आदेश । सामान्य तौर पर, लाइन रिप्लेसमेंट या टेम्प्लेटिंग का कोई भी रूप, या उच्च संभावना के साथ मक्खी पर संकलन एक ट्यूरिंग-पूर्ण प्रणाली है या जब दोहराया जाता है, जैसा कि वे अक्सर लैम्बडा कैलकुलस या किसी भाषा या लेबल की शर्तों के पुनर्लेखन का समर्थन करते हैं , उदाहरण के लिए, गूढ़ भाषा " /// " या thue ।

XSLT , अनंत माइनस्वीपर , बौना किले ³ , Starcraft, Minecraft , चींटी , परिवहन टाइकून , C ++ टेम्पलेट और जावा सामान्यीकरण , डीएनए गणना और इतने पर - ये सभी ट्यूरिंग-पूर्ण सिस्टम हैं, और यह आश्चर्य की बात भी नहीं है। कई खेल विकास और कस्टम मोड को सरल बनाने के लिए स्क्रिप्ट का समर्थन करते हैं। इसलिए, ट्यूरिंग-पूर्ण गेम को प्राथमिक बनाने के लिए: पर्ल जैसे अधिक प्रसिद्ध भाषाओं को कॉल करने के लिए सिंटैक्स को चालू करें।

ट्यूरिंग पूर्णता मानक प्रारूप का केवल एक ज्ञात हिस्सा हो सकता है। संभवतः, हमारे समय में, बहुत से लोग यह नहीं जानते हैं कि ट्रू टाइप और कई फोंट स्टैक्ड मशीनों पर पोस्टस्क्रिप्ट प्रोग्राम हैं, जो ईएलएफ मेटाडेटा और डीडब्ल्यूएआरएफ डिबगिंग जानकारी के समान हैं । या कि कुछ संगीत प्रारूप मिडी से आगे जाते हैं, स्क्रिप्ट का समर्थन करते हैं और व्याख्या की आवश्यकता होती है। यदि आप फोंट की ट्यूरिंग पूर्णता के बारे में जानते हैं, तो TeX दस्तावेजों की ट्यूरिंग की पूर्णता आश्चर्यजनक नहीं है, जो स्वाभाविक रूप से फोंट और मीडिया में कई गंभीर और दिलचस्प सुरक्षा कमजोरियों का कारण बनती है, जैसे कि BLEND या लिनक्स SNES और NES कारनामे। पीडीएफ जैसे अन्य स्वरूपों में, कमजोरियों की एक भयानक राशि है ⁴ । फिर से, उत्कृष्ट उपलब्धियों जैसे लेगो ब्लॉक या डोमिनोज़ ⁵ से एक छोटी ट्यूरिंग मशीन बनाना विचार नहीं किया जाता है, क्योंकि हम लंबे समय से जानते हैं कि मैकेनिकल कंप्यूटर कैसे काम करते हैं।

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

• पीनो अंकगणित : ट्यूरिंग पूर्णता के लिए प्राकृतिक संख्याओं का जोड़ और गुणा पर्याप्त है। इसके विपरीत, प्रेस्बर्गर अंकगणित गुणा से रहित है और इसलिए, ट्यूरिंग पूर्ण नहीं है।
• वैन टाइल्स : बहु-रंगीन वर्ग, जिसका प्लेसमेंट नियम द्वारा निर्धारित किया जाता है कि दो टाइलों के आस-पास के किनारे एक ही रंग के होने चाहिए (वान के लिए ऐतिहासिक रूप से स्पष्ट, लेकिन सिस्टम ने मुझे आश्चर्यचकित किया, और शायद कई अन्य लोग)।
• x86 धोखाधड़ी:
  
  • MMU प्रोग्रामिंग को आसान बनाने के लिए RAM को शफल करता है। यदि प्रोग्राम विशेष रूप से मेमोरी में पते को सही ढंग से असाइन करता है, तो यह कोड को चलाने के बिना पृष्ठ-दोष अपवाद ( टिप्पणियों ; वैज्ञानिक कार्य ) का उपयोग करके MMU पर मनमानी गणना करने में सक्षम होगा। MMU अपवाद तंत्र एक निर्देश के साथ कंप्यूटर में बदल जाता है।
  • mov एक ट्यूरिंग-पूर्ण प्रणाली है : प्रतीत होता है कि सहज रूप से असेंबलर इंस्ट्रक्शंस mov , जो CPU और RAM के बीच डेटा ट्रांसफर करता है, आपको TTA ट्रिगर ट्रांसपोर्ट आर्किटेक्चर पर एक निर्देश के साथ एक कंप्यूटर को लागू करने की अनुमति देता है। ऐसे कंप्यूटर पर, आप डूम (बोनस के रूप में: xor निर्देशों पर भी) खेल सकते हैं।
  • "X86 रजिस्टरों के बिना एक ट्यूरिंग पूरा सेट है।"
• रिटर्न-इन- लिबास अटैक: सॉफ्टवेयर लाइब्रेरी प्री-पैकेज्ड फ़ंक्शंस प्रदान करते हैं, जिनमें से प्रत्येक को एक उपयोगी काम करने के लिए डिज़ाइन किया गया है। कॉल से इन कार्यों के लिए, आप एक ट्यूरिंग-पूर्ण "भाषा" बना सकते हैं जो सुरक्षा तंत्र को बायपास कर सकता है, क्योंकि एक हमलावर अपना स्वयं का पहचानने योग्य कोड नहीं चलाता है। कई अन्य उदाहरणों में, "हड्डी पर निर्दोष मांस की ज्यामिति: फ़ंक्शन कॉल (x86 पर) के बिना रिटर्न-इन-लीम्बर्स" और "रिटर्न-इन-लेबेक हमलों की अभिव्यक्ति पर" देखें ।
• पोकेमॉन येलो : "द फुल पोकेमॉन येलो कंट्रोल हैक" एक मेमोरी भ्रष्टाचार हमले का वर्णन करता है जो आपको गेम ब्वॉय असेंबलर पर आगे और पीछे चलने और खेल में आइटम खरीदने से मनमाने कार्यक्रम बनाने की अनुमति देता है। स्पीडरन (गति मार्ग) के प्रशंसकों द्वारा समान उपलब्धियां हैं, लेकिन मैं आमतौर पर उन्हें "अशुद्ध" के रूप में अनदेखा करता हूं: उदाहरण के लिए, आप सुपर मारियो वर्ल्ड को एसएनईएस पर "सांप" या "पोंग" जैसे एक मनमाने खेल में बदल सकते हैं, लेकिन नए कार्यक्रमों को अतिरिक्त उपकरणों पर डाउनलोड करने की आवश्यकता है । मेरी राय में, यह हमें सुपर मारियो वर्ल्ड को "अप्रत्याशित रूप से" ट्यूरिंग-पूर्ण प्रणाली को कॉल करने की अनुमति नहीं देता है और इस लेख में अन्य उदाहरणों से अलग है। उदाहरण के लिए, आप सुपर गेम बॉय से लेकर एसएनईएस तक और आईआरसी जैसे मनमाने कोड तक जा सकते हैं। यह एक विवादास्पद अंतर है।
  
  • अन्य C लाइब्रेरी फ़ंक्शंस ( Kariniini et al, 2015 ) की तरह POSIX से प्रिंटफ़ में एक समान मेमोरी भ्रष्टाचार की समस्या %n विकल्प में होती है। इसलिए « printbf -Brainfuck « printbf printf ।
  • StarCraft समुदाय ने जटिल नक्शे, रक्षा खेल, मारियो खेल और इसके लिए स्तर के संपादकों को लागू करने के लिए खेल में एक बफर अतिप्रवाह का शोषण किया है। SC के अपडेटेड वर्जन में मॉड्स की सुरक्षा के लिए हैकिंग इम्यूलेशन ने बर्फ़ीला तूफ़ान पैदा कर दिया ।
• ब्रैड गेम पूरा ट्यूरिंग है
• बाद के नोटों को स्थानांतरित करने के निर्देशों के साथ एक संगीत संकेतन चून की गूढ़ भाषा बन जाती है ।
• हृदय की मांसपेशी कोशिकाएं (कार्डियोमायोसाइट) इस तरह से परस्पर क्रिया करती हैं कि उन्हें लॉजिक गेट्स के माध्यम से प्रोग्राम किया जा सकता है, इसलिए, वे एक ट्यूरिंग-पूर्ण प्रणाली का प्रतिनिधित्व करते हैं (शायद यह बहुत आश्चर्य की बात नहीं है, क्योंकि सेलुलर ऑटोमेटा एक जैविक उदाहरण का उपयोग करके बनाया गया है)
• अजीब मशीनों की एक श्रेणी को पूरी तरह से ट्यूरिंग-पूर्ण नहीं माना जाता है, क्योंकि उपयोगकर्ता को मैकेनिकल स्विच पर क्लिक करना होगा या सिस्टम के लिए अगले चरण में जाने के लिए एकमात्र संभव विकल्प बनाना चाहिए। इस मामले में, उपयोगकर्ता कोई तर्क नहीं देता है और गणना नहीं करता है, इसलिए, यह श्रेणी ट्यूरिंग-पूर्ण सिस्टम की परिभाषा को पूरी तरह से संतुष्ट नहीं करती है:
  
  • जादू: सभा : यह एक ट्यूरिंग-पूर्ण प्रणाली है , इस धारणा के आधार पर कि खिलाड़ी प्रस्तावित विकल्प के लिए यांत्रिक रूप से सहमत हैं, लेकिन अन्यथा सभी कार्य खेल के नियमों का पालन करते हैं
  • CSS को HTML पृष्ठों की दृश्य उपस्थिति को अनुकूलित करने के लिए एक घोषणात्मक मार्कअप भाषा के रूप में डिज़ाइन किया गया है, लेकिन प्राथमिक सेलुलर ऑटोमेटन नियम 110 , जो ब्राउज़र में मैकेनिकल माउस क्लिक द्वारा स्थिति बदलता है, को CSS घोषणाओं पर एन्कोड किया जा सकता है
  • विशेष लिंक के साथ Microsoft PowerPoint एनिमेशन (मैक्रोज़, वीबीएसस्क्रिप्ट आदि को छोड़कर) एक ट्यूरिंग मशीन ( वाइल्डेनहिन, 2017 : वीडियो ; पीपीटी ) को लागू कर सकता है यदि उपयोगकर्ता सक्रिय एनीमेशन ट्रिगर पर क्लिक करता है;

शायद निम्नलिखित प्रणालियाँ गलती से पूरी हो जाएँगी:

• बिना क्लिक के सीएसएस
• एसवीजी: पोस्टस्क्रिप्ट डिजाइन द्वारा टीसी है, लेकिन अधिक आधुनिक एसवीजी वेक्टर ग्राफिक प्रारूप के बारे में क्या है, जो एक्सएमएल में लिखा गया है, जो कि एक दस्तावेज़ भाषा में है (आमतौर पर) ट्यूरिंग-पूर्ण नहीं है? ऐसा लगता है कि XSLT के साथ संयोजन में यह अभी भी ऐसा हो सकता है, लेकिन मुझे वेब ब्राउज़र के सामान्य संदर्भ में इसका कोई सबूत या प्रदर्शन नहीं मिला है। एसवीजी मानक महान और कभी-कभी भयानक होता है: एसवीजी 1.2 मानक के असफल संस्करण ने एसवीजी छवियों में नेटवर्क सॉकेट खोलने की क्षमता को जोड़ने की कोशिश की।
• यूनिकोड : निकोलस सेरियोट का सुझाव है कि द्विदिश यूनिकोड एल्गोरिदम (दाएं-से-बाएँ स्क्रिप्ट को प्रदर्शित करने के लिए डिज़ाइन किया गया है, जैसे कि अरबी या हिब्रू) केस- संवेदी नियमों (जैसे, तुर्की) के माध्यम से एक टैग सिस्टम का समर्थन करने के लिए पर्याप्त जटिल हो सकता है।

यह भी देखें

• इंट्रा-प्लेटफ़ॉर्म प्रभाव

संदर्भ

• HN: 1 , 2 पर चर्चा
• अकस्मात द्विघात
• "कोडिंग मशीनें" ; "ट्रस्ट के प्रतिनिधिमंडल पर विचार," केन थॉम्पसन, 1984
• "तंत्रिका नेटवर्क के प्रतिकूल रिप्रोग्रामिंग" , अलसायड एट अल।, 2018

आवेदन

आपके कंप्यूटर में कितने कंप्यूटर हैं?

कुछ लोग अजीब कारों के बारे में विवादों में फंस जाते हैं या एआई एजेंट कैसे "बड़े" हो जाएंगे: ऐसा एक, दो, दस, या लाखों पैदा होगा। इससे कोई फर्क नहीं पड़ता, क्योंकि यह एक संगठनात्मक मामला है। दरअसल, सिस्टम के इनपुट और आउटपुट महत्वपूर्ण हैं: सिस्टम पूरे के रूप में कितना कुशल है और यह किन संसाधनों का उपभोग करता है? अगर कोई 50 सुपर कंप्यूटर, 50,000 मेनफ्रेम, 5 मिलियन सर्वर, 50 मिलियन एम्बेडेड / मोबाइल प्रोसेसर, या उपरोक्त सभी का संयोजन करता है, तो कोई परवाह नहीं करता है । इससे कोई फर्क नहीं पड़ता है कि Google विभिन्न प्रकार के चिप्स का उपयोग करता है: घर-निर्मित "टेंसर्स प्रोसेसर" से लेकर अद्वितीय सिलिकॉन प्रोसेसर (इंटेल उन्हें Xeon प्रोसेसर के लिए चिप्स पर कई प्रमुख ग्राहकों के लिए बेचता है), एफपीजीए, जीपीयू, सीपीयू, डी-वेव क्वांटम कंप्यूटर जैसे और भी अधिक विदेशी उपकरणों के लिए। यह केवल महत्वपूर्ण है कि यह प्रतिस्पर्धी बना रहे और मध्यम शुल्क के लिए सेवाएं प्रदान कर सके। अंत में, आज एक सुपर कंप्यूटर आमतौर पर बड़ी संख्या में जीपीयू और असामान्य रूप से उच्च गति वाले InfiniBand कनेक्शन के साथ रैक सर्वर की तरह दिखता है। यानी सुपरकंप्यूटर डाटा सेंटर से इतना अलग नहीं है, जितना आप सोच सकते हैं। सूचीबद्ध उपकरणों में से कोई भी कई अजीब मशीनों का समर्थन कर सकता है, जो इसकी आंतरिक गतिशीलता और कनेक्टिविटी पर निर्भर करता है।

इसी तरह, किसी भी एआई प्रणाली को एक विशाल तंत्रिका नेटवर्क या कई अलग-अलग तंत्रिका नेटवर्क के रूप में कार्यान्वित किया जा सकता है, जो अतुल्यकालिक रूप से काम कर रहे हैं, या माइक्रोसेरो के विषम सेट के रूप में, या "मन के समाज" और इतने पर। यह सब विशेष रूप से महत्वपूर्ण नहीं है। जटिलता या जोखिमों के दृष्टिकोण से, यह इतना महत्वपूर्ण नहीं है कि सिस्टम काम करते समय कैसे व्यवस्थित होता है। प्रणाली को कई स्तरों पर देखा जा सकता है, जिनमें से प्रत्येक अपने आप में समान रूप से अमान्य है, लेकिन सामान्य प्रणाली में विभिन्न उद्देश्यों के लिए उपयोगी है।

यहां एक खराब परिभाषित प्रश्न का एक उदाहरण है: आपके पास अब आपकी जेब में और आपकी मेज पर कितने कंप्यूटर हैं? आपके "कंप्यूटर" में कितने कंप्यूटर हैं? केवल एक ही सोचो? आइए एक नज़र डालें।

यह केवल सीपीयू के बारे में नहीं है: आजकल, ट्रांजिस्टर और प्रोसेसर कोर इतने सस्ते हैं कि अब यह वास्तविक समय के कार्यों के लिए अलग-अलग कोर आवंटित करने, प्रदर्शन में सुधार करने, सुरक्षा के लिए, मुख्य ओएस को लोड करने से बचने के लिए, पुरानी वास्तुकला के साथ संगतता के लिए या समझ में आता है। मौजूदा सॉफ्टवेयर पैकेज। सिर्फ इसलिए कि एक डीएसपी या कर्नेल एक विशेष एएसआईसी बनाने की तुलना में प्रोग्राम के लिए तेज है, या क्योंकि यह सबसे सरल समाधान संभव है। इसके अलावा, इन घटकों में से कई का उपयोग कम्प्यूटेशनल तत्वों के रूप में किया जा सकता है, भले ही उनका इरादा न हो या इस कार्यक्षमता को छिपाएं।

तो:

• एक पारंपरिक इंटेल प्रोसेसर में, अरबों ट्रांजिस्टर कई कार्य करते हैं:
  
  
  • 2-8 मुख्य प्रोसेसर कोर में से प्रत्येक स्वतंत्र रूप से काम करने में सक्षम है, आवश्यकतानुसार चालू और बंद है, इसका अपना कैश है (हाल तक के अधिकांश कंप्यूटरों में रैम से बड़ा), और इसे एक स्वतंत्र कंप्यूटर के रूप में माना जाना चाहिए।
  • एक पूरे के रूप में सीपीयू को माइक्रोकोड के माध्यम से पुनर्प्रकाशित किया जाता है, उदाहरण के लिए, चिप डिजाइन त्रुटियों को समाप्त करने के लिए, और इंटेल प्रबंधन इंजन ( प्रोग्रामिंग के लिए जेवीएम , रूलेन, 2014 और एसजीएक्स के साथ ) या एएमडी के प्लेटफ़ॉर्म सिक्योरिटी प्रोसेसर (पीएसपी), या तेजी से अपारदर्शी वस्तुओं को हटा देता है ; Android TEE ये हार्डवेयर मॉड्यूल, एक नियम के रूप में, अपने आप में पूर्ण विकसित कंप्यूटर हैं, मेजबान से स्वतंत्र रूप से काम करते हैं, और इस ऑपरेशन में हस्तक्षेप कर सकते हैं।
  • कोई भी एफपीयू FRACTRAN की भावना में फ्लोटिंग पॉइंट ऑपरेशन में एन्कोडिंग के माध्यम से ट्यूरिंग-पूर्ण प्रणाली बन सकता है।
• एमएमयू को एक अजीब पेज-गलती मशीन में क्रमादेशित किया जा सकता है, जैसा कि ऊपर बताया गया है।
• डीएसपी ब्लॉक, कस्टम चिप्स। संभवतः, h.264 जैसे वीडियो प्रारूपों के लिए ASIC, ट्यूरिंग-पूर्ण सिस्टम (जटिल डेल्टास और संपीड़न विधियों के समर्थन के बावजूद जो वान टाइल जैसी किसी चीज़ की अनुमति दे सकते हैं) नहीं होंगे। लेकिन Apple A9 मोबाइल SoC एक एकीकृत GPU के साथ सामान्य दोहरे कोर एआरएम प्रोसेसर से कहीं आगे जाता है। इंटेल या एएमडी डेस्कटॉप चिप्स की तरह, इसमें सिक्योर एन्क्लेव (शारीरिक रूप से समर्पित प्रोसेसर कोर) नामक एक सुरक्षित वातावरण शामिल है, लेकिन इसमें छवियों के लिए एक कोप्रोसेसर, आवाज पहचान के लिए एक कोप्रोसेसर (आंशिक रूप से सिरी का समर्थन करने के लिए), और, जाहिर है, कई अन्य कोर भी शामिल हैं। ये ASIC कभी-कभी AI कार्यों के लिए मौजूद होते हैं और, जाहिरा तौर पर, तंत्रिका नेटवर्क के लिए मैट्रिक्स गुणन में विशेषज्ञ होते हैं, और चूंकि आवर्तक तंत्रिका नेटवर्क ट्यूरिंग-पूर्ण होते हैं, तब ... आप स्वयं जानते हैं। मोटोरोला, क्वालकॉम और अन्य कंपनियों ने भी अपने SoC के विस्तार के लिए दौड़ लगाई।
• मदरबोर्ड BIOS और / या नेटवर्क एक्सेस कंट्रोल चिप्स।
  
  
  • मार्क एर्मोलोव नोट:
    
    

    "यह आश्चर्यजनक है कि कितने विषम प्रोसेसर कोर इंटेल सिल्वरमोंट मूरफील्ड एसओसी (एएनएन) में एकीकृत हैं: एक्स 86, एआरसी, एलएमटी, 8051, ऑडियो डीएसपी, प्रत्येक अपने फर्मवेयर और जेटीटी इंटरफेस के लिए समर्थन के साथ।

  
  ये नियंत्रण या डिबगिंग चिप्स "गलती से" बिक्री के बाद उपकरणों पर सक्रिय रह सकते हैं, जैसे कि वाया सी 3 सीपीयू में निर्मित एआरएम।
• GPU में कई सौ या हजारों सरल कोर हैं, जिनमें से प्रत्येक तंत्रिका नेटवर्क के साथ बहुत अच्छी तरह से काम करता है या सामान्य-उद्देश्य गणना करता है (यद्यपि प्रोसेसर की तुलना में धीमी)।
• टेप, हार्ड ड्राइव, फ्लैश ड्राइव, और एसएसडी नियंत्रक आम तौर पर एआरएम प्रोसेसर पर चलते हैं ताकि ऑपरेटिंग सिस्टम से खराब क्षेत्रों को छिपाने जैसे कार्यों के लिए अंतर्निहित उपयोगिताओं को चलाया जा सके। उन्हें हैक किया जा सकता है। लेकिन एआरएम प्रोसेसर का उपयोग ज्यादातर एम्बेडेड अनुप्रयोगों में किया जाता है, इसलिए एआरएम को यह दावा करना पसंद है कि "एक आधुनिक स्मार्टफोन में 8 से 14 एआरएम प्रोसेसर होते हैं, जिनमें से एक एप्लिकेशन प्रोसेसर (एंड्रॉइड या आईओएस चलाने वाला) है, और दूसरा आवृत्ति बैंड स्टैक के लिए एक प्रोसेसर है। (बेसबैंड स्टैक) । "
• नेटवर्क चिप्स डीएमए के लिए स्वतंत्र प्रसंस्करण करते हैं ( नेटबैंक काम के लिए वेक-ऑन-लैन जैसे ऐसे स्वतंत्रता कार्यों के लिए धन्यवाद)।
• स्मार्टफ़ोन: उल्लिखित सभी ब्लॉकों के अलावा, एक स्वतंत्र बेसबैंड प्रोसेसर भी है जो सेल टावरों / जीपीएस / आदि के साथ संचार को संसाधित करने के लिए अपने स्वयं के वास्तविक समय ओएस के तहत चलता है। या एक से अधिक भी यदि आप L4 जैसे वर्चुअलाइजेशन का उपयोग करते हैं। बैकसाइड को पहले से ही अन्य कमजोरियों के अलावा बेसबैंड प्रोसेसर में पाया गया है।
• स्मार्टफ़ोन के सिम कार्ड आपके ग्राहक डेटा की रिकॉर्डिंग के साथ सिर्फ मेमोरी कार्ड की तुलना में बहुत अधिक हैं। ये स्मार्ट कार्ड हैं जो स्वतंत्र रूप से जावा कार्ड एप्लिकेशन (शायद एनएफसी चिप्स भी) चला सकते हैं। यह IME में JVM की तरह है। स्वाभाविक रूप से, सिम कार्ड हैक किए जा सकते हैं और निगरानी के लिए उपयोग किए जा सकते हैं, आदि।
• USB या मदरबोर्ड के माध्यम से जुड़े उपकरणों को अपने स्वयं के प्रोसेसर से सुसज्जित किया जा सकता है। उदाहरण के लिए, वाईफाई एडेप्टर, कीबोर्ड, चूहे आदि, सैद्धांतिक रूप से, उनमें से अधिकांश को DMA और IOMMU के माध्यम से मेजबान के साथ सीधे हस्तक्षेप से अलग किया जाता है, लेकिन शैतान विवरण में है ...
• मैकबुक टच वॉचओएस की तरह यादृच्छिक अजीब चिप्स।
• ...

तो एक नियमित स्मार्टफोन या डेस्कटॉप कंप्यूटर में ट्यूरिंग-कम्प्लीट डिवाइसेस के अर्थ में पंद्रह से कई हजार कंप्यूटर होंगे। उनमें से प्रत्येक को प्रोग्राम किया जा सकता है, इसमें कई कार्यक्रमों को चलाने के लिए पर्याप्त शक्ति है और बाकी सिस्टम की निगरानी, ​​बहिष्कार या हमला करने के लिए एक हमलावर द्वारा उपयोग किया जा सकता है।

ऐतिहासिक संदर्भ में कुछ भी असामान्य नहीं है, क्योंकि यहां तक ​​कि बहुत पहले मेनफ्रेम में आमतौर पर कई कंप्यूटर शामिल होते हैं, जहां मुख्य कंप्यूटर बैच प्रसंस्करण करता है, और सहायक कंप्यूटर उच्च गति I / O संचालन प्रदान करते हैं, जो अन्यथा मुख्य मशीन के साथ उनके व्यवधान को बाधित करेगा।

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

---

1. अनुसंधान का एक सक्रिय क्षेत्र भाषाओं और प्रणालियों का निर्माण है जो ध्यान से डिज़ाइन किए गए हैं और गारंटी है कि ट्यूरिंग-पूर्ण (उदाहरण के लिए, पूरी तरह कार्यात्मक प्रोग्रामिंग ) नहीं है। एक भाषा बनाने में इतना प्रयास क्यों किया कि कई कार्यक्रम नहीं लिख सकते हैं? तथ्य यह है कि ट्यूरिंग पूर्णता गोडेल की अपूर्णता प्रमेय और चावल की प्रमेय से निकटता से संबंधित है।। इसलिए, यदि टीसी की अनुमति है, तो हम सभी संभावित संपत्तियों को खो देते हैं। इसके विपरीत, ट्यूरिंग-अधूरी भाषा में विभिन्न उपयोगी चीजें आसानी से साबित होती हैं: उदाहरण के लिए, कि एक कार्यक्रम पूरा हो गया है, प्रकार-सुरक्षित है या नहीं, कि एक तार्किक प्रमेय में परिवर्तित करना आसान है, कि यह सीमित मात्रा में संसाधनों का उपभोग करता है, कि प्रोटोकॉल कार्यान्वयन सही है या किसी अन्य कार्यान्वयन के बराबर है। यह साबित करना आसान है कि कोई साइड इफेक्ट्स नहीं हैं और यह प्रोग्राम तार्किक रूप से समकक्ष में परिवर्तित किया जा सकता है, लेकिन तेज विकल्प (यह विशेष रूप से एसक्यूएल जैसी घोषणा भाषाओं के लिए महत्वपूर्ण है, जहां ऑप्टिमाइज़र की क्वेरी को बदलने की क्षमता स्वीकार्य प्रदर्शन की कुंजी है। हालांकि, निश्चित रूप से, आश्चर्यजनक चीजें एसक्यूएल के साथ की जा सकती हैं। जैसे किमशीन सीखने के मॉडल के लिए ढाल वंश , और कुछ एसक्यूएल एक्सटेंशन इसे वैसे भी पूर्ण रूप से ट्यूरिंग बनाते हैं , जिससे आप या तो लूप सिस्टम , या modelडीएसएल को एनकोड कर सकते हैं , या पीएल / एसक्यूएल , आदि को कॉल कर सकते हैं ।

यहाँ अजीब कारों पर कुछ साहित्य है:

• "एक्सप्लॉइट प्रोग्रामिंग: बफ़र ओवरफ्लोज़ से लेकर अजीब मशीनें और संगणना सिद्धांत" , ब्राटस एट। 2011।
• "स्टैक प्रॉब्लम इन नेटवर्क स्टैक सिक्योरिटी," सैसमेन एट अल।, 2011
• द स्ट्रेंज पेज-फाल्ट मशीन: निर्देश के बिना कम्प्यूटिंग में सबक , बैंगर्ट एट अल।, 2013
• "ईएलएफ में अजीब कारें: कमतर मेटाडेटा पर ध्यान केंद्रित," शापिरो एट अल 2013
• "बग्स की बाधा-उन्मुख प्रोग्रामिंग: एम्बेडेड सिस्टम के फर्मवेयर में बग को शुरू करने के लिए एक न्यूनतम दृष्टिकोण" , टैन एट अल।, 2014।
• एविडेंस-बेस्ड कोड , अजीब, 2014 में अजीब कारें
• "साइक्लिकल सिग्नल - रिटर्निंग टू पोर्टेबल शेलकोड," बॉसमैन और बॉश , 2014

↑

2. हालांकि रैखिक तंत्रिका नेटवर्क संभावित ट्यूरिंग-पूर्ण व्यवहार (RNN के लिए) को एन्कोड करने के लिए फ़्लोटिंग पॉइंट मोड का उपयोग शून्य के साथ करते हैं , यह सामान्य ऑपरेशन में अदृश्य है, जो एक यादृच्छिक ट्यूरिंग-पूर्ण व्यवहार और एक सुरक्षित भाषा का एक अच्छा उदाहरण भी है। ↑

3. बौना किला घड़ी की कल प्रदान करता है, इसलिए ट्यूरिंग पूर्णता आश्चर्यजनक नहीं है। लेकिन पानी को एक साधारण सेलुलर ऑटोमेटोन के रूप में भी लागू किया जाता है, इसलिए ट्यूरिंग पूर्णता प्राप्त करने के और भी तरीके हैं! अब खेल विकी तर्क गेट्स बनाने के चार संभावित तरीकों का नाम देता है : तरल पदार्थ, घड़ी तंत्र, खदान गाड़ियां और दरवाजे और दबाव सेंसर के साथ प्राणी / पशु तर्क गेट्स। ↑

4. पूर्ण पीडीएफ विनिर्देश असाधारण रूप से फूला हुआ है। उदाहरण के लिए, एक साधारण पीडीएफ दर्शक में, जो Google क्रोम ब्राउज़र की तरह पीडीएफ विनिर्देश के लिए पर्याप्त समर्थन करता है, आप ब्रेकआउट खेल सकते हैं (क्योंकि पीडीएफ में जावास्क्रिप्ट का अपना अजीब उपसमूह शामिल है)। आधिकारिक एडोब पीडीएफ दर्शक तीन आयामी सीएडी तक कार्यक्षमता का समर्थन करता है। ↑

5. थिंक मैथ पर डोमिनोज़ लॉजिक गेट्स देखें और 4-बिट डोमिनोज़ नॉक एडियर का डेमो । ↑