राज्यों ( ) और रंगों ( ) के साथ एक सार्वभौमिक ट्यूरिंग मशीन चुनें, जो एक आयामी टेप पर कार्य कर रहा है (हम इस मशीन को "सत्य" से संबंधित सामान कहेंगे)। हमें एक साथ निर्माण एक चलो -state ट्यूरिंग मशीन (राज्यों और ) के साथ असली रंग, और "बढ़ाया" रंग है जो राज्यों के बारे में जानकारी ले: रंग। हम उस बाधा को जोड़ते हैं कि प्रारंभिक अवस्था वास्तविक मशीन की प्रारंभिक अवस्था के समान होनी चाहिए, संभवतः उस सेल को छोड़कर जिसमें हम शुरू करते हैं।S0≤s<SC0≤c<C2LRC+4SC
हर समय, केवल वर्तमान कोशिका या संक्रमण में शामिल दो कोशिकाएँ ही रंगों में वृद्धि कर सकती हैं: अन्य सभी कोशिकाओं में अपना असली रंग होता है। हम चाहते हैं कि हमारी मशीन निम्न प्रकार से व्यवहार करे: जाँच करें कि क्या सही संक्रमण करना है, "सही स्थिति" जानकारी को उस सेल से स्थानांतरित करें जिसे हम लक्ष्य सेल पर छोड़ना चाहते हैं (इसमें बहुत आगे और पीछे शामिल है), सेट को साफ़ करें सेल हमने छोड़ दिया (इसे एक असली रंग देते हुए), दोहराएं।
एक संक्रमण से पहले, वर्तमान सेल में बढ़ाया रंग वास्तविक रंग एन्कोडिंग है, और वास्तविक स्थिति है, और अन्य सभी का असली रंग है। देखें कि असली मशीन क्या संक्रमण करेगी --- हम यह मान सकते हैं कि यह दाईं ओर जा रहा है (फ्लिप और हर जगह बाएं तरफ)। बढ़ाए गए रंग को बदलें, दाईं ओर ले जाएँ, और वर्तमान स्थिति को बदलकर ।(c,s)LR(cnew,snew,emit)L
तब मशीन एक सामान्य रंग देखती है और राज्य । यह परिवर्तन करने के लिए , और वापस राज्य में छोड़ दिया जाता है । इस प्रकार हमारे पास कक्ष
जहाँ विभिन्न सच्चे रंग निश्चित रूप से स्वतंत्र होते हैं, लेकिन अप्रासंगिक। लक्ष्य स्थानांतरित करने के लिए है लक्ष्य सेल करने के लिए। हम ऐसा करते हैं कि बाएं राज्य को कम करके, और दाहिनी स्थिति को बढ़ाकर, दोनों के बीच आगे और पीछे जा रहे हैं। अंत बाईं कोशिका में पता लगाना आसान है ( हो गया हैcLc(c,0,L,receive)R
⋯cc(c,s,emit)(c,0,L,receive)cc⋯
ss0), लेकिन सही सेल में पता लगाने के लिए कठिन है। यह वही है जो लेबल के लिए है: जब तक कि राज्य मेल खाता है, तब तक वृद्धि / वृद्धि लूप जारी रखें, लेकिन अगर ऐसा नहीं होता है, तो हम किए जाते हैं, और हम सफाई करते हैं।
L
इसे लागू करने के लिए संक्रमण हैं। लगभग सभी मामलों में, वर्तमान स्थिति द्वारा निर्दिष्ट दिशा में आगे बढ़ें, फिर राज्य को फ्लिप करें
c→(c,0,⟨dir⟩,receive) जहां वर्तमान स्थिति है; चाल, राज्य फ्लिप।⟨dir⟩
(c,s)→(cnew,snew,emit) सही मशीन के संक्रमण के अनुसार; वर्तमान स्थिति को अनदेखा करें, इसे उस दिशा में सेट करें जिसमें हम स्थानांतरित करना चाहते हैं; चाल, राज्य फ्लिप।
(c,s,emit)→(c,s−1,emit) के लिए ; कदम, राज्य फ्लिप।s>0
(c,0,emit)→c ; स्थानांतरित करें, राज्य को न बदलें।
(c,s,⟨dir⟩,receive)→(c,s+1,⟨dir⟩,receive) यदि राज्य ; कदम, राज्य फ्लिप।⟨dir⟩
(c,s,⟨dir⟩,receive)→(c,s) यदि राज्य ; स्थानांतरित न करें, जो कुछ भी आपको राज्य के साथ पसंद है वह करें। यह 2 के साथ जोड़ा जा सकता है। यदि आप हमेशा आगे बढ़ना चाहते हैं।⟨dir⟩
6 और 2 के संयोजन से रंगों की संख्या । मेरा मानना है कि यह संभव है कि प्रारंभिक कॉन्फ़िगरेशन में कोई बढ़ाया रंग नहीं है, लेकिन यह संभवतः गड़बड़ है।C+3SC