शिफ्ट स्पेस: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| (5 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
[[प्रतीकात्मक गतिशीलता]] और गणित की संबंधित शाखाओं में, '''शिफ्ट स्पेस''' या सबशिफ्ट अनंत [[स्ट्रिंग (कंप्यूटर विज्ञान)]] का समुच्चय है जो भिन्न प्रणाली के विकास का प्रतिनिधित्व करता है। वास्तव में, शिफ्ट स्पेस और ''प्रतीकात्मक गतिशीलता'' को अधिकांशतः पर्यायवाची माना जाता है। सबसे व्यापक रूप से अध्ययन किए गए शिफ्ट स्पेस परिमित प्रकार और [[सोफ़िक बदलाव|सोफ़िक शिफ्ट]] के सबशिफ्ट हैं। | [[प्रतीकात्मक गतिशीलता]] और गणित की संबंधित शाखाओं में, '''शिफ्ट स्पेस''' या सबशिफ्ट अनंत [[स्ट्रिंग (कंप्यूटर विज्ञान)]] का समुच्चय है जो भिन्न प्रणाली के विकास का प्रतिनिधित्व करता है। वास्तव में, शिफ्ट स्पेस और ''प्रतीकात्मक गतिशीलता'' को अधिकांशतः पर्यायवाची माना जाता है। सबसे व्यापक रूप से अध्ययन किए गए शिफ्ट स्पेस परिमित प्रकार और [[सोफ़िक बदलाव|सोफ़िक शिफ्ट]] के सबशिफ्ट हैं। | ||
मौलिक रुपरेखा में <ref name=":1">{{Cite book |last1=Lind |first1=Douglas A. |title=प्रतीकात्मक गतिशीलता और कोडिंग का परिचय|last2=Marcus |first2=Brian |date=1995 |publisher=Cambridge University press |isbn=978-0-521-55900-3 |location=Cambridge}}</ref> | मौलिक रुपरेखा में <ref name=":1">{{Cite book |last1=Lind |first1=Douglas A. |title=प्रतीकात्मक गतिशीलता और कोडिंग का परिचय|last2=Marcus |first2=Brian |date=1995 |publisher=Cambridge University press |isbn=978-0-521-55900-3 |location=Cambridge}}</ref> शिफ्ट स्पेस <math>A^\mathbb{Z}:=\{(x_i)_{i\in\mathbb{Z}}:\ x_i\in A\ \forall i\in\mathbb{Z}\}</math> का कोई उपसमुच्चय <math>\Lambda</math> है, जहां <math>A</math> परिमित समुच्चय है, जो टाइकोनोव टोपोलॉजी के लिए संवृत है और अनुवाद द्वारा अपरिवर्तनीय है। अधिक सामान्यतः कोई शिफ्ट स्पेस को <math>A^\mathbb{G}</math> के संवृत और अनुवाद-अपरिवर्तनीय उपसमुच्चय के रूप में परिभाषित कर सकता है, जहां <math>A</math> कोई रिक्त समुच्चय है और <math>\mathbb{G}</math> कोई मोनॉइड है।<ref name="Ceccherini-Silberstein--Coornaert">{{Cite book |last1=Ceccherini-Silberstein |first1=T. |last2=Coornaert |first2=M. |date=2010 |title=सेलुलर ऑटोमेटा और गणित में स्प्रिंगर मोनोग्राफ समूह|series=Springer Monographs in Mathematics |url=https://link.springer.com/book/10.1007/978-3-642-14034-1 |language=en |publisher=Springer Verlag|doi=10.1007/978-3-642-14034-1 |isbn=978-3-642-14033-4 }}</ref><ref name=":0">{{Cite journal |last=Sobottka |first=Marcelo |date=September 2022 |title=Some Notes on the Classification of Shift Spaces: Shifts of Finite Type; Sofic Shifts; and Finitely Defined Shifts |url=https://link.springer.com/10.1007/s00574-022-00292-x |journal=Bulletin of the Brazilian Mathematical Society |series=New Series |language=en |volume=53 |issue=3 |pages=981–1031 |doi=10.1007/s00574-022-00292-x |arxiv=2010.10595 |s2cid=254048586 |issn=1678-7544}}</ref> | ||
== परिभाषा == | == परिभाषा == | ||
मान लीजिए कि <math>\mathbb{G}</math> | मान लीजिए कि <math>\mathbb{G}</math> मोनॉइड है, और दिए गए <math>g,h\in\mathbb{G}</math>, उत्पाद <math>gh</math> द्वारा <math>h</math> के साथ <math>g</math> के संचालन को निरूपित करते हैं। मान लीजिए कि <math>\mathbf{1}_{\mathbb{G}}</math> की पहचान दर्शाता है। असतत टोपोलॉजी के साथ गैर-रिक्त समुच्च्य <math>A</math> ( वर्णमाला) पर विचार करें, और <math>A^\mathbb{G}</math> द्वारा अनुक्रमित <math>A</math> पर सभी पैटर्न के समुच्च्य <math>\mathbf{x}=(x_i)_{i\in \mathbb{G}}\in A^\mathbb{G}</math> के रूप में परिभाषित करें। और उपसमुच्चय के लिए <math>\mathbb{G}</math>, हम <math>N</math> के सूचकांकों पर <math>\mathbf{x}</math> के प्रतिबंध को <math>\mathbf{x}_N:=(x_i)_{i\in N}</math> के रूप में दर्शाते हैं | ||
<math>A^\mathbb{G}</math> पर हम प्रोडिस्क्रीट टोपोलॉजी पर विचार करते हैं, जो <math>A^\mathbb{G}</math> को हॉसडॉर्फ और पूरी तरह से डिस्कनेक्टेड टोपोलॉजिकल स्पेस बनाता है। <math>A</math> के परिमित होने की स्थिति में, यह इस प्रकार है कि <math>A^\mathbb{G}</math> सघन है। चूँकि, यदि <math>A</math> परिमित नहीं है, तो <math>A^\mathbb{G}</math> स्थानीय रूप से संहत भी नहीं है। | <math>A^\mathbb{G}</math> पर हम प्रोडिस्क्रीट टोपोलॉजी पर विचार करते हैं, जो <math>A^\mathbb{G}</math> को हॉसडॉर्फ और पूरी तरह से डिस्कनेक्टेड टोपोलॉजिकल स्पेस बनाता है। <math>A</math> के परिमित होने की स्थिति में, यह इस प्रकार है कि <math>A^\mathbb{G}</math> सघन है। चूँकि, यदि <math>A</math> परिमित नहीं है, तो <math>A^\mathbb{G}</math> स्थानीय रूप से संहत भी नहीं है। | ||
यह टोपोलॉजी मेट्रिज़ेबल होगी यदि और केवल यदि <math>\mathbb{G}</math> गणनीय है, और, किसी भी स्थिति में, इस टोपोलॉजी के आधार में विवृत/संवृत समुच्चय (जिन्हें सिलेंडर कहा जाता है) का संग्रह होता है, जिसे निम्नानुसार परिभाषित किया गया है: | यह टोपोलॉजी मेट्रिज़ेबल होगी यदि और केवल यदि <math>\mathbb{G}</math> गणनीय है, और, किसी भी स्थिति में, इस टोपोलॉजी के आधार में विवृत/संवृत समुच्चय (जिन्हें सिलेंडर कहा जाता है) का संग्रह होता है, जिसे निम्नानुसार परिभाषित किया गया है: परिमित समुच्चय दिया गया है सूचकांकों का <math>D\subset \mathbb{G}</math>, और प्रत्येक के लिए, <math>i\in D</math> दें। <math>D</math> और <math>a_i\in A</math> द्वारा दिया गया सिलेंडर समुच्चय <math>(a_i)_{i\in D}\in A^{|D|}</math> है | ||
<math>\big[(a_i)_{i\in D}\big]_D:=\{\mathbf{x}\in A^\mathbb{G}:\ x_i=a_i,\ \forall i\in D\}.</math> | <math>\big[(a_i)_{i\in D}\big]_D:=\{\mathbf{x}\in A^\mathbb{G}:\ x_i=a_i,\ \forall i\in D\}.</math> | ||
| Line 15: | Line 15: | ||
जब <math>D=\{g\}</math> हम सिलेंडर को <math>g</math> द्वारा अनुक्रमित प्रविष्टि पर प्रतीक <math>b</math> को ठीक से <math>[b]_g</math> के रूप में दर्शाते हैं | जब <math>D=\{g\}</math> हम सिलेंडर को <math>g</math> द्वारा अनुक्रमित प्रविष्टि पर प्रतीक <math>b</math> को ठीक से <math>[b]_g</math> के रूप में दर्शाते हैं | ||
दूसरे शब्दों में, सिलेंडर <math>\big[(a_i)_{i\in D}\big]_D</math> <math>A^\mathbb{G}</math> के सभी अनंत पैटर्न के सभी समुच्चय का समुच्चय है जिसमें परिमित पैटर्न <math>(a_i)_{i\in D}\in A^{|D|}</math> होता है | |||
दिया गया है, <math>g\in\mathbb{G}</math> पर <b><i>g</i>-शिफ्ट</b> मानचित्र को <math>A^\mathbb{G}</math> द्वारा दर्शाया गया है। <math>\sigma^g:A^\mathbb{G}\to A^\mathbb{G}</math> और इसे इस प्रकार परिभाषित किया गया है | |||
दिया गया है, <math>g\in\mathbb{G}</math> पर <b><i>g</i>-शिफ्ट | |||
<math>\sigma^g\big((x_i)_{i\in\mathbb{G}}\big)=(x_{gi})_{i\in\mathbb{G}}</math>. | <math>\sigma^g\big((x_i)_{i\in\mathbb{G}}\big)=(x_{gi})_{i\in\mathbb{G}}</math>. | ||
वर्णमाला <math>A</math> के ऊपर | वर्णमाला <math>A</math> के ऊपर शिफ्ट स्पेस समुच्चय है जो कि टोपोलॉजी के अनुसार संवृत <math>A^\mathbb{G}</math> है और अपरिवर्तनीय है। अनुवाद, अर्थात, सभी के लिए <math>\sigma^g(\Lambda)\subset \Lambda</math> हम शिफ्ट स्पेस <math>\Lambda</math> में विचार करते हैं <math>g\in\mathbb{G}</math> से प्रेरित टोपोलॉजी, जिसमें मूलभूत विवृत के रूप में सिलिंडर <math>\big[(a_i)_{i\in D}\big]_\Lambda:=\big[(a_i)_{i\in D}\big]\cap\Lambda</math> समुच्चय होते हैं | ||
प्रत्येक के लिए <math>k\in\N^*</math>, परिभाषित करना <math>\mathcal{N}_k:=\bigcup_{{N\subset \mathbb{G} \atop \#N=k}}A^N</math>, और <math>\mathcal{N}^f_{A^\mathbb{G}}:=\bigcup_{{k\in\N}}\mathcal{N}_k= \bigcup_{{N\subset \mathbb{G} \atop \#N<\infty}}A^N</math>. शिफ्ट स्पेस को परिभाषित करने | प्रत्येक के लिए <math>k\in\N^*</math>, परिभाषित करना <math>\mathcal{N}_k:=\bigcup_{{N\subset \mathbb{G} \atop \#N=k}}A^N</math>, और <math>\mathcal{N}^f_{A^\mathbb{G}}:=\bigcup_{{k\in\N}}\mathcal{N}_k= \bigcup_{{N\subset \mathbb{G} \atop \#N<\infty}}A^N</math>. शिफ्ट स्पेस को परिभाषित करने की समकक्ष विधि <b>निषिद्ध पैटर्न</b> का समुच्चय लेना है <math>F\subset\mathcal{N}^f_{A^\mathbb{G}}</math> और शिफ्ट स्पेस को समुच्चय के रूप में परिभाषित करें | ||
प्रत्येक <math>k\in\N^*</math> के लिए, <math>\mathcal{N}_k:=\bigcup_{{N\subset \mathbb{G} \atop \#N=k}}A^N</math> और <math>\mathcal{N}^f_{A^\mathbb{G}}:=\bigcup_{{k\in\N}}\mathcal{N}_k= \bigcup_{{N\subset \mathbb{G} \atop \#N<\infty}}A^N</math> परिभाषित करें। शिफ्ट स्पेस को परिभाषित करने की समतुल्य विधि '''निषिद्ध पैटर्न''' <math>F\subset\mathcal{N}^f_{A^\mathbb{G}}</math> का समुच्चय लेना और शिफ्ट स्पेस को समुच्चय के रूप में परिभाषित करना है | |||
<math>X_F:=\{\mathbf{x}\in A^\mathbb{G}:\ \forall N\subset\mathbb{G}, \forall g\in\mathbb{G},\ \left(\sigma^g(\mathbf{x})\right)_{N}=\mathbf{x}_{gN}\notin F\}.</math> | <math>X_F:=\{\mathbf{x}\in A^\mathbb{G}:\ \forall N\subset\mathbb{G}, \forall g\in\mathbb{G},\ \left(\sigma^g(\mathbf{x})\right)_{N}=\mathbf{x}_{gN}\notin F\}.</math> | ||
सहज रूप से, शिफ्ट स्पेस <math>X_F</math> सभी अनंत पैटर्न का समुच्चय है जिसमें <math>F</math> का कोई निषिद्ध परिमित पैटर्न सम्मिलित नहीं है | |||
सहज रूप से, | |||
== शिफ्ट स्पेस की भाषा == | == शिफ्ट स्पेस की भाषा == | ||
शिफ्ट स्पेस <math>\Lambda\subset A^\mathbb{G}</math> और सूचकांकों का सीमित समुच्चय <math>N\subset\mathbb{G}</math> मान लीजिये <math>W_\emptyset(\Lambda):=\{\epsilon\}</math> दिया गया है, जहां <math>\epsilon</math> रिक्त शब्द के लिए है, और <math>W_N(\Lambda)\subset A^N</math> के लिए <math>N\neq\emptyset</math> के सभी परिमित कॉन्फ़िगरेशन का समुच्चय है जो <math>\Lambda</math> के कुछ अनुक्रम में दिखाई देता है, अर्थात, | |||
<math>W_N(\Lambda):=\{(w_i)_{i\in N}\in A^N:\ \exists \ \mathbf{x}\in\Lambda \text{ s.t. } x_i=w_i\ \forall i\in N\}.</math> | <math>W_N(\Lambda):=\{(w_i)_{i\in N}\in A^N:\ \exists \ \mathbf{x}\in\Lambda \text{ s.t. } x_i=w_i\ \forall i\in N\}.</math> | ||
ध्यान दें, चूँकि <math>\Lambda</math> | ध्यान दें, चूँकि <math>\Lambda</math> शिफ्ट स्पेस है, यदि <math>M\subset\mathbb{G}</math>, <math>N\subset\mathbb{G}</math> का अनुवाद है, अर्थात, कुछ <math>M=gN</math> के लिए, तो <math>g\in\mathbb{G}</math> यदि और केवल यदि वहाँ <math>(w_j)_{j\in M}\in W_M(\Lambda)</math> उपस्थित है जैसे कि <math>(v_i)_{i\in N}\in W_N(\Lambda)</math> दूसरे शब्दों में, , <math>W_M(\Lambda)</math> और <math>W_N(\Lambda)</math> में समान कॉन्फ़िगरेशन मॉड्यूलो अनुवाद होता है। हम समुच्चय को कॉल करेंगे | ||
<math>W(\Lambda):=\bigcup_{{N\subset \mathbb{G}\atop \#N<\infty}}W_N(\Lambda)</math> | <math>W(\Lambda):=\bigcup_{{N\subset \mathbb{G}\atop \#N<\infty}}W_N(\Lambda)</math> | ||
<math>\Lambda</math> की भाषा यहां बताए गए सामान्य संदर्भ में, शिफ्ट स्पेस की भाषा का कारण [[औपचारिक भाषा सिद्धांत]] के समान नहीं है, किन्तु मौलिक प्रारूप में जो वर्णमाला <math>A</math> को सीमित मानता है, और <math>\mathbb{G}</math> को <math>\mathbb{N}</math> मानता है। या <math>\mathbb{Z}</math> सामान्य जोड़ के साथ, शिफ्ट स्पेस की भाषा | <math>\Lambda</math> की भाषा यहां बताए गए सामान्य संदर्भ में, शिफ्ट स्पेस की भाषा का कारण [[औपचारिक भाषा सिद्धांत]] के समान नहीं है, किन्तु मौलिक प्रारूप में जो वर्णमाला <math>A</math> को सीमित मानता है, और <math>\mathbb{G}</math> को <math>\mathbb{N}</math> मानता है। या <math>\mathbb{Z}</math> सामान्य जोड़ के साथ, शिफ्ट स्पेस की भाषा औपचारिक भाषा है। | ||
== मौलिक रूपरेखा == | == मौलिक रूपरेखा == | ||
शिफ्ट स्पेस के लिए मौलिक रुपरेखा में वर्णमाला पर विचार करना सम्मिलित है <math>A</math> परिमित के रूप में, और <math>\mathbb{G}</math> गैर-ऋणात्मक पूर्णांकों के समुच्चय के रूप में (<math>\mathbb{N}</math>) सामान्य जोड़ के साथ, या सभी पूर्णांकों का समुच्चय (<math>\mathbb{Z}</math>) सामान्य जोड़ के साथ। दोनों ही मामलों में, पहचान तत्व <math>\mathbf{1}_{\mathbb{G}}</math> संख्या 0 से मेल खाती है। इसके अतिरिक्त, जब <math>\mathbb{G}=\mathbb{N}</math>, सब के | शिफ्ट स्पेस के लिए मौलिक रुपरेखा में वर्णमाला पर विचार करना सम्मिलित है <math>A</math> परिमित के रूप में, और <math>\mathbb{G}</math> गैर-ऋणात्मक पूर्णांकों के समुच्चय के रूप में (<math>\mathbb{N}</math>) सामान्य जोड़ के साथ, या सभी पूर्णांकों का समुच्चय (<math>\mathbb{Z}</math>) सामान्य जोड़ के साथ। दोनों ही मामलों में, पहचान तत्व <math>\mathbf{1}_{\mathbb{G}}</math> संख्या 0 से मेल खाती है। इसके अतिरिक्त, जब <math>\mathbb{G}=\mathbb{N}</math>, सब के मध्य <math>\mathbb{N}\setminus\{0\}</math> संख्या 1 से उत्पन्न किया जा सकता है, यह द्वारा दिए गए अद्वितीय शिफ्ट मानचित्र पर विचार करने के लिए पर्याप्त है <math>\sigma(\mathbf{x})_n=x_{n+1}</math> सभी के लिए <math>n</math>. दूसरी ओर, के स्थिति के लिए <math>\mathbb{G}=\mathbb{Z}</math>, सब के मध्य <math>\mathbb{Z}</math> संख्या {-1, 1} से उत्पन्न किया जा सकता है, सभी के लिए दिए गए दो शिफ्ट मानचित्रों पर <math>n</math> द्वारा <math>\sigma(\mathbf{x})_n=x_{n+1}</math> और तक <math>\sigma^{-1}(\mathbf{x})_n=x_{n-1}</math>विचार करना पर्याप्त है |. | ||
शिफ्ट स्पेस के लिए मौलिक रुपरेखा में वर्णमाला <math>A</math> को परिमित माना जाता है, और <math>\mathbb{G}</math> को सामान्य जोड़ के साथ गैर- | शिफ्ट स्पेस के लिए मौलिक रुपरेखा में वर्णमाला <math>A</math> को परिमित माना जाता है, और <math>\mathbb{G}</math> को सामान्य जोड़ के साथ गैर-ऋणात्मक पूर्णांक (<math>\mathbb{N}</math>) के समुच्चय के रूप में माना जाता है, या सभी पूर्णांकों का समुच्चय (<math>\mathbb{Z}</math>} ) सामान्य जोड़ के साथ। दोनों मामलों में, पहचान तत्व संख्या 0 से मेल खाता है। सभी <math>\mathbb{N}\setminus\{0\}</math> को संख्या <math>\mathbf{1}_{\mathbb{G}}</math> से उत्पन्न किया जा सकता है, यह अद्वितीय शिफ्ट मानचित्र पर विचार करने के लिए पर्याप्त है जो कि दिया गया है। <math>\sigma(\mathbf{x})_n=x_{n+1}</math> सभी <math>n</math> के लिए। दूसरी ओर, <math>\mathbb{G}=\mathbb{Z}</math> के स्थिति के लिए, चूंकि सभी <math>\mathbb{Z}</math> को संख्याओं {-1, 1} से उत्पन्न किया जा सकता है, इसलिए इस पर विचार करना पर्याप्त है सभी के लिए दो शिफ्ट <math>n</math> द्वारा <math>\sigma(\mathbf{x})_n=x_{n+1}</math> और <math>\sigma^{-1}(\mathbf{x})_n=x_{n-1}</math> द्वारा मानचित्र दिए गए हैं | ||
इसके अतिरिक्त, जब भी <math>\mathbb{G}</math> सामान्य जोड़ के साथ <math>\mathbb{N}</math> या <math>\mathbb{Z}</math> होता है, तो इसकी बीजगणितीय संरचना के कारण, यह फॉर्म में केवल सिलेंडरों पर विचार करने के लिए पर्याप्त है | इसके अतिरिक्त, जब भी <math>\mathbb{G}</math> सामान्य जोड़ के साथ <math>\mathbb{N}</math> या <math>\mathbb{Z}</math> होता है, तो इसकी बीजगणितीय संरचना के कारण, यह फॉर्म में केवल सिलेंडरों पर विचार करने के लिए पर्याप्त है | ||
| Line 53: | Line 50: | ||
<math>[a_0a_1...a_n]:=\{(x_i)_{i\in\mathbb{G}}:\ x_i=a_i\ \forall i=0,..,n\}.</math> | <math>[a_0a_1...a_n]:=\{(x_i)_{i\in\mathbb{G}}:\ x_i=a_i\ \forall i=0,..,n\}.</math> | ||
इसके अतिरिक्त | इसके अतिरिक्त शिफ्ट स्पेस की भाषा <math>\Lambda \subset A^\mathbb{G}</math> द्वारा दी जाएगी | ||
<math>W(\Lambda):=\bigcup_{n\geq 0}W_n(\Lambda), </math> | <math>W(\Lambda):=\bigcup_{n\geq 0}W_n(\Lambda), </math> | ||
| Line 65: | Line 62: | ||
<math>X_F=\{\mathbb{x}\in A^\mathbb{Z}:\ \forall i\in\mathbb{Z},\ \forall k\geq 0,\ (x_i...x_{i+k})\notin F \}.</math> | <math>X_F=\{\mathbb{x}\in A^\mathbb{Z}:\ \forall i\in\mathbb{Z},\ \forall k\geq 0,\ (x_i...x_{i+k})\notin F \}.</math> | ||
चूँकि, यदि <math>\mathbb{G}=\mathbb{N}</math> यदि हम | चूँकि, यदि <math>\mathbb{G}=\mathbb{N}</math> यदि हम शिफ्ट स्पेस <math>\Lambda=X_F</math> को उपरोक्त के रूप में परिभाषित करते हैं, जहां शब्दों की निषिद्ध के सूचकांक को निर्दिष्ट किए बिना, तो हम केवल शिफ्ट स्पेस को कैप्चर करेंगे जो कि शिफ्ट मानचित्र के माध्यम से अपरिवर्तनीय हैं, जैसे कि <math>\sigma(X_F)=X_F</math> दरअसल, शिफ्ट स्पेस <math>X_F\subset A^\mathbb{N}</math> को ऐसे परिभाषित करने के लिए <math>\sigma(X_F)\subsetneq X_F</math> यह निर्दिष्ट करना आवश्यक होगा कि <math>F</math> के शब्दों पर किस इंडेक्स से निषिद्ध है। | ||
विशेष रूप से, <math>A</math> के परिमित होने के मौलिक रुपरेखा में, और <math>\mathbb{G}</math> के <math>\mathbb{N}</math> ) या <math>\mathbb{Z}</math> के साथ सामान्य जोड़ के साथ, यह इस प्रकार है कि <math>M_F</math> परिमित है यदि और केवल यदि <math>F</math> परिमित है, जो परिमित प्रकार के परिवर्तित की मौलिक परिभाषा की ओर ले जाता है, जैसे कि वह स्पेस परिवर्तन <math>\Lambda\subset A^\mathbb{G}</math> जैसे कि कुछ के लिए <math>\Lambda=X_F</math> परिमित <math>F</math> है | विशेष रूप से, <math>A</math> के परिमित होने के मौलिक रुपरेखा में, और <math>\mathbb{G}</math> के <math>\mathbb{N}</math> ) या <math>\mathbb{Z}</math> के साथ सामान्य जोड़ के साथ, यह इस प्रकार है कि <math>M_F</math> परिमित है यदि और केवल यदि <math>F</math> परिमित है, जो परिमित प्रकार के परिवर्तित की मौलिक परिभाषा की ओर ले जाता है, जैसे कि वह स्पेस परिवर्तन <math>\Lambda\subset A^\mathbb{G}</math> जैसे कि कुछ के लिए <math>\Lambda=X_F</math> परिमित <math>F</math> है | ||
| Line 73: | Line 69: | ||
विभिन्न प्रकार के शिफ्ट स्पेस में, सबसे व्यापक रूप से अध्ययन किया गया परिमित प्रकार का सबशिफ्ट और सोफिक शिफ्ट है। | विभिन्न प्रकार के शिफ्ट स्पेस में, सबसे व्यापक रूप से अध्ययन किया गया परिमित प्रकार का सबशिफ्ट और सोफिक शिफ्ट है। | ||
ऐसे स्थिति में जब वर्णमाला <math>A</math> परिमित है, | ऐसे स्थिति में जब वर्णमाला <math>A</math> परिमित है, शिफ्ट स्पेस <math>\Lambda</math> <b>परिमित प्रकार का परिवर्तन</b> है यदि हम निषिद्ध पैटर्न <math>F</math> का सीमित समुच्चय ले सकते हैं जैसे कि <math>\Lambda=X_F</math>, और <math>\Lambda</math> है सॉफ़िक शिफ्ट यदि यह [[स्लाइडिंग ब्लॉक कोड]] के अनुसार परिमित प्रकार की शिफ्ट की छवि है <ref name=":1" /> (अर्थात, मानचित्र <math>\Phi</math> जो सभी <math>g</math>-शिफ्ट मानचित्रों के लिए निरंतर और अपरिवर्तनीय है)। यदि <math>A</math> परिमित है और <math>g</math> सामान्य जोड़ के साथ <math>\mathbb{N}</math> या <math>\mathbb{G}</math> है, तो शिफ्ट <math>\Lambda</math> सोफ़िक शिफ्ट है यदि और केवल यदि <math>W(\Lambda)</math> है | ||
"सोफिक" नाम | "सोफिक" नाम {{harvtxt|वेइस|1973}}, द्वारा लिखा गया था, जो [[हिब्रू भाषा]] के סופי पर आधारित है जिसका अर्थ है "परिमित", इस तथ्य को संदर्भित करने के लिए कि यह परिमित संपत्ति का सामान्यीकरण है। <ref>{{citation |last=Weiss |first=Benjamin |title=Subshifts of finite type and sofic systems |journal=Monatsh. Math. |volume=77 |issue=5 |pages=462–474 |year=1973 |doi=10.1007/bf01295322 |mr=0340556 |s2cid=123440583 |author-link=Benjamin Weiss}}. Weiss does not describe the origin of the word other than calling it a neologism; however, its Hebrew origin is stated by [[MathSciNet]] reviewer R. L. Adler.</ref> जब <math>A</math> अनंत है, तो परिमित प्रकार की शिफ्ट को शिफ्ट स्पेस <math>\Lambda</math> के रूप में परिभाषित करना संभव है, उनके लिए कोई निषिद्ध शब्दों का समुच्चय <math>F</math> ले सकता है जैसे कि | ||
<math>M_F:=\{g\in\mathbb{G}:\ \exists N\subset \mathbb{G}\text{ s.t. } g\in N\text{ and } (w_i)_{i\in N}\in F \},</math> | <math>M_F:=\{g\in\mathbb{G}:\ \exists N\subset \mathbb{G}\text{ s.t. } g\in N\text{ and } (w_i)_{i\in N}\in F \},</math> | ||
परिमित है और <math>\Lambda=X_F</math> <ref name=":0" /> अनंत वर्णमाला के इस संदर्भ में, | परिमित है और <math>\Lambda=X_F</math> <ref name=":0" /> अनंत वर्णमाला के इस संदर्भ में, सॉफ़िक शिफ्ट को स्लाइडिंग ब्लॉक कोड के विशेष वर्ग के अनुसार परिमित प्रकार की शिफ्ट की छवि के रूप में परिभाषित किया जाएगा। <ref name=":0" /> दोनों, <math>M_F</math> की परिमितता और स्लाइडिंग ब्लॉक कोड की अतिरिक्त नियम, जब भी <math>A</math> परिमित होती है, सामान्य रूप से संतुष्ट होती हैं। | ||
== शिफ्ट स्पेस पर टोपोलॉजिकल डायनेमिक प्रणाली == | == शिफ्ट स्पेस पर टोपोलॉजिकल डायनेमिक प्रणाली == | ||
शिफ्ट स्पेस [[टोपोलॉजिकल स्पेस]] है जिस पर प्रतीकात्मक गतिशीलता सामान्यतः परिभाषित की जाती है। | शिफ्ट स्पेस [[टोपोलॉजिकल स्पेस]] है जिस पर प्रतीकात्मक गतिशीलता सामान्यतः परिभाषित की जाती है। | ||
शिफ्ट स्पेस <math>\Lambda\subset A^\mathbb{G}</math> और <math>g</math>-शिफ्ट | शिफ्ट स्पेस <math>\Lambda\subset A^\mathbb{G}</math> और <math>g</math>-शिफ्ट मानचित्र <math>\sigma^g:\Lambda\to\Lambda</math> को देखते हुए यह पता चलता है कि जोड़ी <math>(\Lambda,\sigma^g)</math> [[टोपोलॉजिकल डायनेमिक सिस्टम|टोपोलॉजिकल डायनेमिक प्रणाली]] है। | ||
दो शिफ्ट स्पेस <math>\Lambda\subset A^\mathbb{G}</math> और <math>\Gamma\subset B^\mathbb{G}</math> को [[टोपोलॉजिकल संयुग्मता]] कोजुगेट (या बस संयुग्मित) कहा जाता है, यदि प्रत्येक <math>g</math>-शिफ्ट | दो शिफ्ट स्पेस <math>\Lambda\subset A^\mathbb{G}</math> और <math>\Gamma\subset B^\mathbb{G}</math> को [[टोपोलॉजिकल संयुग्मता]] कोजुगेट (या बस संयुग्मित) कहा जाता है, यदि प्रत्येक <math>g</math>-शिफ्ट मानचित्र के लिए यह निम्नानुसार है कि टोपोलॉजिकल डायनामिकल प्रणाली <math>(\Lambda,\sigma^g)</math> और <math>(\Gamma,\sigma^g)</math> टोपोलॉजिकल रूप से कोजुगेट हैं, अर्थात, यदि कोई निरंतर मानचित्र उपस्थित है <math>\Phi:\Lambda\to\Gamma</math> जैसे कि <math>\Phi\circ\sigma^g=\sigma^g\circ \Phi</math> ऐसे मानचित्रों को सामान्यीकृत स्लाइडिंग ब्लॉक कोड या केवल स्लाइडिंग ब्लॉक कोड के रूप में जाना जाता है जब भी <math>\Phi</math> समान रूप से निरंतर होता है।<ref name=":0" /> | ||
यद्यपि कोई भी निरंतर मानचित्र | यद्यपि कोई भी निरंतर मानचित्र <math>\Phi</math> से <math>\Lambda\subset A^\mathbb{G}</math> अपने आप में टोपोलॉजिकल डायनेमिक प्रणाली को परिभाषित करेगा <math>(\Lambda,\Phi)</math>, प्रतीकात्मक गतिशीलता में यह सामान्य है केवल सतत मानचित्रों पर विचार करने के लिए, जो सभी <math>g</math>-शिफ्ट मानचित्रों के साथ आवागमन करते हैं। <math>\Phi:\Lambda\to\Lambda</math> मानचित्र जो सामान्यीकृत स्लाइडिंग ब्लॉक कोड हैं। गतिशील प्रणाली को सामान्यीकृत <b><b>[[सेलुलर ऑटोमेटन]]</b></b> <math>(\Lambda,\Phi)</math> के रूप में जाना जाता है (या जब भी <math>\Phi</math> समान रूप से निरंतर होता है तो सेलुलर ऑटोमेटन के रूप में जाना जाता है)। | ||
== उदाहरण == | == उदाहरण == | ||
शिफ्ट स्पेस (परिमित प्रकार का) का पहला तुच्छ उदाहरण पूर्ण शिफ्ट <math>A^\mathbb N</math> है | शिफ्ट स्पेस (परिमित प्रकार का) का पहला तुच्छ उदाहरण पूर्ण शिफ्ट <math>A^\mathbb N</math> है | ||
मान लीजिए <math>A=\{a,b\}</math> A के ऊपर सभी अनंत शब्दों का समूह जिसमें अधिकतम | मान लीजिए <math>A=\{a,b\}</math> A के ऊपर सभी अनंत शब्दों का समूह जिसमें अधिकतम b है, सोफ़िक सबशिफ्ट है जो परिमित प्रकार का नहीं है। A पर सभी अनंत शब्दों का समुच्चय जिसका b अभाज्य लंबाई के ब्लॉक बनाता है, सोफ़िक नहीं है (इसे [[ पम्पिंग लेम्मा |पम्पिंग लेम्मा]] का उपयोग करके दिखाया जा सकता है)। | ||
दो अक्षरों <math>\{0,1\}^\mathbb{N}</math> में अनंत तारों के स्थान को [[बर्नौली प्रक्रिया]] कहा जाता है। यह [[कैंटर सेट|कैंटर समुच्चय]] के समरूपी है। | दो अक्षरों <math>\{0,1\}^\mathbb{N}</math> में अनंत तारों के स्थान को [[बर्नौली प्रक्रिया]] कहा जाता है। यह [[कैंटर सेट|कैंटर समुच्चय]] के समरूपी है। | ||
| Line 102: | Line 97: | ||
== यह भी देखें == | == यह भी देखें == | ||
* [[तम्बू का नक्शा|टेंट मानचित्र]] | * [[तम्बू का नक्शा|टेंट मानचित्र]] | ||
* [[ बिट शिफ्ट मानचित्र ]] | * [[ बिट शिफ्ट मानचित्र |बिट शिफ्ट मानचित्र]] | ||
* [[ग्रे कोड]] | * [[ग्रे कोड]] | ||
| Line 110: | Line 105: | ||
== संदर्भ == | == संदर्भ == | ||
{{reflist}} | {{reflist}} | ||
== अग्रिम पठन == | == अग्रिम पठन == | ||
* {{cite book | * {{cite book | ||
| Line 168: | Line 161: | ||
| arxiv = 2010.10595 | s2cid = 254048586 }} | | arxiv = 2010.10595 | s2cid = 254048586 }} | ||
[[Category: | [[Category:CS1 English-language sources (en)]] | ||
[[Category:Created On 09/08/2023]] | [[Category:Created On 09/08/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:गतिशील प्रणालियाँ]] | |||
[[Category:प्रतीकात्मक गतिशीलता]] | |||
[[Category:शब्दों पर संयोजकता]] | |||
Latest revision as of 10:20, 22 August 2023
प्रतीकात्मक गतिशीलता और गणित की संबंधित शाखाओं में, शिफ्ट स्पेस या सबशिफ्ट अनंत स्ट्रिंग (कंप्यूटर विज्ञान) का समुच्चय है जो भिन्न प्रणाली के विकास का प्रतिनिधित्व करता है। वास्तव में, शिफ्ट स्पेस और प्रतीकात्मक गतिशीलता को अधिकांशतः पर्यायवाची माना जाता है। सबसे व्यापक रूप से अध्ययन किए गए शिफ्ट स्पेस परिमित प्रकार और सोफ़िक शिफ्ट के सबशिफ्ट हैं।
मौलिक रुपरेखा में [1] शिफ्ट स्पेस