सार्वभौमिकता कुछ अनौपचारिक धारणा है। क्या यह मोटे तौर पर अर्थ यह है कि प्रत्येक गणनीय समारोह के लिए है एक "कार्यक्रम" है पी मॉडल में इतना है कि "चल" पी किसी भी इनपुट पर x हमेशा "हाल्ट", और "आउटपुट" सही जवाब। (ध्यान दें कि ट्यूरिंग मशीनें यहां दिखाई नहीं देती हैं: वे सार्वभौमिक गणना मॉडल का सिर्फ एक उदाहरण हैं।)चपीपीएक्स
उद्धृत शब्द वे हैं जिन्हें परिभाषित करने की आवश्यकता है। ट्यूरिंग मशीनों के लिए:
- एक कार्यक्रम राज्यों की सूची के रूप में निर्दिष्ट किया जाता है, एक टेप वर्णमाला, एक प्रारंभिक राज्य, अंतिम राज्य और संक्रमण।
- एक इनपुट एक्स पर ट्यूरिंग मशीन चलाने का मतलब है कि हम टेप को एक्स के एन्कोडिंग के साथ शुरू करते हैं और सामान्य नियमों के अनुसार इस टेप पर मशीन टी चलाते हैं।टी एक्सएक्सटी
- ट्यूरिंग मशीन रुक जाती है अगर वह अंतिम स्थिति में पहुँच जाती है। (यहां कुछ वेरिएंट हैं।)
- ट्यूरिंग मशीन आउटपुट (यदि यह रुकता है) टेप की सामग्री है।
नियम 110, एक गणना मॉडल के रूप में, उसी तरह औपचारिक रूप से परिभाषित किए जाने की आवश्यकता है। एक परिभाषा उचित है यदि कोई कम्प्यूटेशनल मॉडल का अनुकरण कर सकता है, तो निम्नलिखित अर्थों में: एक कम्प्यूटेशनल फ़ंक्शन जैसे कि प्रत्येक प्रोग्राम P और इनपुट x (दोनों प्राकृतिक संख्याओं के रूप में एन्कोडेड) के लिए, S ( P , x ) हलफ़ iff P एक्स पर हॉल्ट , और अगर एस ( पी , एक्स ) रुकता है तो इसका आउटपुट एक्स पर पी के आउटपुट के समान है ।एसपीएक्सएस( पी, x )पीएक्सएस( पी , एक्स )पीएक्स
यदि आप एक कंप्यूटिंग सिस्टम के रूप में नियम 110 के विशेष सेटअप के लिए उत्सुक हैं, तो मेरा सुझाव है कि आप मैथ्यू कुक के पेपर पर एक नज़र डालें, जो नियम 110 की सार्वभौमिकता को साबित करता है (या नियम 110 के आसपास बनाए गए कंप्यूटिंग सिस्टम का)।
नियम 30 और नियम 90 जैसे अन्य नियमों के लिए, हम नहीं जानते कि वे सार्वभौमिक नहीं हैं। उनके आस-पास निर्मित कंप्यूटिंग सिस्टम के बारे में आश्वस्त हो सकते हैं, जो सार्वभौमिक है, लेकिन हम किसी के बारे में अभी नहीं जानते हैं।