मैं यह पता लगाने की कोशिश कर रहा हूं कि 3-प्रतीक एक-आयामी सेलुलर ऑटोमेटा के लिए हॉल्टिंग की समस्या क्या है।
परिभाषा चलो समय चरण i पर सिस्टम के विन्यास को दर्शाता है । अधिक औपचारिक रूप से च : एक * × एन → एक * है, जहां एक वर्णमाला है।
परिभाषा। एक सेलुलर automaton विन्यास में रोक दिया है , अगर ∀ कश्मीर ∈ एन हम उस राशि च ( डब्ल्यू , मैं ) = च ( डब्ल्यू , मैं + कश्मीर ) ।
किसी दिए गए सेलुलर ऑटोमेटन के लिए रुकने की समस्या इस प्रकार है:
इनपुट: एक परिमित शब्द प्रश्न: होगा कुछ राज्य में automaton पड़ाव रों ?
प्राथमिक सेलुलर ऑटोमेटा (2 प्रतीकों के साथ) यहां परिभाषित किए गए हैं । मैं उसी तरह के सेलेरर ऑटोमेटा पर केंद्रित हूं, सिवाय इसके कि मैं सीए के मामले में केवल 2 प्रतीकों के बजाय 3 प्रतीकों के साथ दिलचस्पी रखता हूं।
अब से, मैं के रूप में मेरे नियमों को निरूपित होगा , जिसका अर्थ है कि 3 पड़ोसी प्रतीकों उनके नीचे एक और एक का उत्पादन।
प्राथमिक, 2-प्रतीक सेलुलर ऑटोमेटा के लिए रुकने की समस्या निर्णायक है
मैं एक सफेद सेल को निरूपित करने के लिए और एक काले रंग को दर्शाने के लिए 1 का उपयोग करूंगा ।
अगर हमारे नियम , ००१ → १ , १०० → १ हैं, तो हम जानते हैं कि ऑटोमेटन रुकेंगे नहीं। क्योंकि पहले नियम के साथ, चूंकि हमारा ग्रिड अनंत है, इसलिए हमारे पास हमेशा 3 सफेद कोशिकाएं होंगी जो एक ब्लैक सेल उत्पन्न करेंगी। दूसरे और तीसरे नियम के साथ इस शब्द का विस्तार पक्षों तक होगा और ऑटोमेटन कभी भी बंद नहीं होगा।
बाकी मामलों में हम इसे चरणों के लिए विकसित करने दे सकते हैं और देखें कि क्या यह रुकता है। यदि यह रुकता है, तो ठीक है, यह रुक जाता है, अगर यह नहीं है तो यह कुछ संयोजनों को दोहरा रहा है और एक लूप में फंस गया है, इसलिए हम यह भी निष्कर्ष निकाल सकते हैं कि यह रुक नहीं जाएगा।
मैं 3 प्रतीक मामले के लिए क्या पता लगा है
यह स्पष्ट है कि यह रुक नहीं जाएगा यदि हमारे पास या 000 → 2 नियम हैं । लेकिन फॉर्म के पक्ष नियम 00 x → y और x 00 → y का विश्लेषण करना कठिन है, क्योंकि क्या होगा यदि हमारे पास नियम 002 → 1 और 001 → 0 हैं ?
यहाँ मैं क्या लेकर आया हूँ:
आइए ऐसे नियमों के सभी संयोजनों पर विचार करें:
- और 002 → 0
- और 002 → 1
- और 002 → 2
- और 002 → 0
- और 002 → 1
- और 002 → 2
- और 002 → 0
- और 002 → 1
- और 002 → 2
मैंने प्रपत्र के नियमों के लिए मामले नहीं लिखे , क्योंकि वे सममित हैं।
इसलिए, पहले मामले में यह स्पष्ट है कि इनपुट शब्द पक्षों तक विस्तारित नहीं होगा, क्योंकि वे साइड सिंबल नियम शून्य उत्पन्न करते हैं।
5, 6, 8, 9 के मामलों में यह स्पष्ट है कि ऑटोमेटन कभी भी बंद नहीं होगा, क्योंकि इनपुट शब्द का विस्तार होगा।
मामले 2,3,4,7 अधिक दिलचस्प हैं। सबसे पहले, आइए ध्यान दें, कि केस २ केस that के समान है और केस ३ केस ४ के समान है। इसलिए, आइए केवल २ और ३ मामलों पर विचार करें।
मैं केस 3 पर विचार करने जा रहा हूं, क्योंकि यह आसान है।
हमारे पास और 002 → 2 है । यह स्पष्ट है कि यदि हमारे इनपुट शब्द का पहला या अंतिम प्रतीक 2 है , तो हम निष्कर्ष निकाल सकते हैं कि ऑटोमेटन रुक नहीं जाएगा। लेकिन अगर वे '1' हैं, तो हमें अधिक सामान देखना होगा, विशेष रूप से, नियमों को देखें जो अंतिम या पहले प्रतीकों को 2 में बदल सकते हैं , क्योंकि यदि हमारे पास हैं, तो उसके बाद वे 2 का उत्पादन करते हैं , हम यह निष्कर्ष निकाल सकता है कि ऑटोमेटन रुक नहीं पाएगा। (यह शब्द पक्ष (नों) तक विस्तारित होगा।
यहां सभी संयोजन दिए गए हैं, जिन पर हमें विचार करने की आवश्यकता है:
010 011 012
0 0 0
0 0 1
0 0 2
0 1 0
0 1 1
........... etc
यदि उपरोक्त तालिका में पहला ट्रिपल है तो क्या होता है, इसका स्पष्टीकरण
सामान्यीकृत मामला 3
जहां मैं फंस जाता हूं
अब आइए केस 2 पर विचार करें।
और यहाँ है जहाँ मैं फंस गया और पता नहीं क्या करना है।
यहाँ तालिका है:
010 011 012
0 0 0
0 0 1
0 0 2
0 1 0
0 1 1
0 1 2
0 2 0
0 2 1
0 2 2
1 0 0
1 0 1
1 0 2
1 1 0
1 1 1
1 1 2
1 2 0
1 2 1
1 2 2
2 0 0
2 0 1
2 0 2
2 1 0
2 1 1
2 1 2
2 2 0
2 2 1
2 2 2
क्या आप लोग मुझे बता सकते हैं कि इसे कैसे हल किया जाए? मैं इसके चारों ओर अपना सिर लपेटने के लिए प्रतीत नहीं हो सकता।
या, यदि यह 3 प्रतीक सेलुलर ऑटोमेटन कुछ ऐसा दिखता है, जिसके लिए रुकने की समस्या अनिर्दिष्ट साबित हुई है, तो मैं उस 3 प्रतीक सेलुलर ऑटोमेटा को कैसे कम कर सकता हूं?