मुक्त मोनोइड: Difference between revisions

Revision as of 17:25, 29 July 2023

अमूर्त बीजगणित में, एक समुच्चय पर मुक्त मोनोइड वह मोनोइड होता है जिसके तत्व उस समुच्चय से शून्य या अधिक तत्वों के सभी परिमित अनुक्रम (या स्ट्रिंग) होते हैं, स्ट्रिंग संयोजन के साथ मोनोइड ऑपरेशन के रूप में और शून्य तत्वों के अद्वितीय अनुक्रम के साथ, प्रायः रिक्त स्ट्रिंग कहा जाता है और पहचान तत्व के रूप में ε या λ द्वारा दर्शाया जाता है।I A पर मुक्त अर्धसमूह A का उपसमूह है जिसमें रिक्त स्ट्रिंग को छोड़कर सभी तत्व सम्मिलित हैं। इसे साधारणतया A⁺ द्वारा निरूपित किया जाता है ।^[1]^[2] सामान्य तौर पर , अमूर्त मोनोइड या सेमीग्रुप S को 'मुक्त' के रूप में वर्णित किया जाता है यदि यह किC समुच्चय पर मुक्त मोनोइड (या सेमीग्रुप) के लिए समरूप है।^[3]

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

नि: शुल्क मोनोइड्स परिभाषा के अनुसार सहयोगी हैं; अर्थात् वे समूहीकरण या संचालन के क्रम को दिखाने के लिए बिना किC कोष्ठक के लिखे गए हैं। गैर-सहयोगी समतुल्य मुक्त मैग्मा है।

[1]

[2]

[3]

@@ Line 1: / Line 1: @@
-अमूर्त बीजगणित में, एक समुच्चय पर '''मुक्त मोनोइड''' वह मोनोइड होता है जिसके तत्व उस समुच्चय से शून्य या अधिक तत्वों के सभी परिमित अनुक्रम (या स्ट्रिंग) होते हैं, स्ट्रिंग संयोजन के साथ मोनोइड ऑपरेशन के रूप में और शून्य तत्वों के अद्वितीय अनुक्रम के साथ, प्रायः रिक्त स्ट्रिंग कहा जाता है और पहचान तत्व के रूप में ε या λ द्वारा दर्शाया जाता है।I ''A'' पर मुक्त अर्धसमूह ''A'' का उपसमूह है जिसमें रिक्त स्ट्रिंग को छोड़कर सभी तत्व सम्मिलित हैं। इसे साधारणतया ए द्वारा निरूपित किया जाता है<sup>+</sup>.<ref name=Lot23>{{harvtxt|Lothaire|1997|pp=2–3}}, [https://books.google.com/books?id=eATLTZzwW-sC&pg=PA2]</ref><ref name=PF2>{{harvtxt|Pytheas Fogg|2002|p=2}}</ref>सामान्य तौर पर , अमूर्त मोनोइड या सेमीग्रुप एस को 'मुक्त' के रूप में वर्णित किया जाता है यदि यह किसी समुच्चय पर मुक्त मोनोइड (या सेमीग्रुप) के लिए [[समरूप]] है।<ref name=Lot5>{{harvtxt|Lothaire|1997|p=5}}</ref>
+अमूर्त बीजगणित में, एक समुच्चय पर '''मुक्त मोनोइड''' वह मोनोइड होता है जिसके तत्व उस समुच्चय से शून्य या अधिक तत्वों के सभी परिमित अनुक्रम (या स्ट्रिंग) होते हैं, स्ट्रिंग संयोजन के साथ मोनोइड ऑपरेशन के रूप में और शून्य तत्वों के अद्वितीय अनुक्रम के साथ, प्रायः रिक्त स्ट्रिंग कहा जाता है और पहचान तत्व के रूप में ε या λ द्वारा दर्शाया जाता है।I ''A'' पर मुक्त अर्धसमूह ''A'' का उपसमूह है जिसमें रिक्त स्ट्रिंग को छोड़कर सभी तत्व सम्मिलित हैं। इसे साधारणतया A<sup>+</sup> द्वारा निरूपित किया जाता है ।<ref name=Lot23>{{harvtxt|Lothaire|1997|pp=2–3}}, [https://books.google.com/books?id=eATLTZzwW-sC&pg=PA2]</ref><ref name=PF2>{{harvtxt|Pytheas Fogg|2002|p=2}}</ref> सामान्य तौर पर , अमूर्त मोनोइड या सेमीग्रुप S को 'मुक्त' के रूप में वर्णित किया जाता है यदि यह किC समुच्चय पर मुक्त मोनोइड (या सेमीग्रुप) के लिए [[समरूप]] है।<ref name=Lot5>{{harvtxt|Lothaire|1997|p=5}}</ref>
 जैसा कि नाम से पता चलता है, मुक्त मोनोइड्स और सेमीग्रुप्स वे वस्तुएं हैं जो मोनोइड्स और सेमीग्रुप्स की संबंधित [[श्रेणी (गणित)]] में [[मुक्त वस्तु]]ओं को परिभाषित करने वाली सामान्य [[सार्वभौमिक संपत्ति]] को संतुष्ट करती हैं। यह इस प्रकार है कि प्रत्येक मोनोइड मुक्त मोनोइड की एक होमोमोर्फिक छवि के रूप में उत्पन्न होता है। मुक्त अर्धसमूहों की छवियों के रूप में अर्धसमूहों के अध्ययन को संयोजी अर्धसमूह सिद्धांत कहा जाता है।
-नि: शुल्क मोनोइड्स परिभाषा के अनुसार सहयोगी हैं; अर्थात् वे समूहीकरण या संचालन के क्रम को दिखाने के लिए बिना किसी कोष्ठक के लिखे गए हैं। गैर-सहयोगी समतुल्य मुक्त मैग्मा है।
+नि: शुल्क मोनोइड्स परिभाषा के अनुसार सहयोगी हैं; अर्थात् वे समूहीकरण या संचालन के क्रम को दिखाने के लिए बिना किC कोष्ठक के लिखे गए हैं। गैर-सहयोगी समतुल्य मुक्त मैग्मा है।
 == उदाहरण ==
 === प्राकृतिक संख्या ===
-मोनोइड ('''N<sub>0</sub>''',+) [[प्राकृतिक संख्या]]ओं के अतिरिक्त सिंगलटन मुक्त जनरेटर पर एक मुक्त मोनोइड हैI इस मामले में प्राकृतिक संख्या 1 औपचारिक परिभाषा के अनुसार इस मोनॉइड में 1 , 1+1 , 1+1+1 , 1+1+1+1 जैसे सभी अनुक्रम सम्मिलित हैंI  इसी तरह, रिक्त अनुक्रम सहित। ऐसे प्रत्येक अनुक्रम को उसके मूल्यांकन परिणाम से मैप करना चाहिएI<ref>Since addition of natural numbers is associative, the result doesn't depend on the order of evaluation, thus ensuring the mapping to be well-defined.</ref> शून्य के लिए रिक्त अनुक्रम ऐसे अनुक्रमों के समुच्चय से '''N<sub>0</sub>''' तक समरूपता स्थापित करता हैI यह समरूपता + के साथ संगत है, अर्थात किन्हीं भी दो अनुक्रमों ''s'' और ''t'' के लिए यदि ''s'' को किसी संख्या ''m'' और ''t' पर मैप किया गया हैI''
+मोनोइड ('''N<sub>0</sub>''',+) [[प्राकृतिक संख्या]]ओं के अतिरिक्त सिंगलटन मुक्त जनरेटर पर एक मुक्त मोनोइड हैI इस मामले में प्राकृतिक संख्या 1 औपचारिक परिभाषा के अनुसार इस मोनॉइड में 1 , 1+1 , 1+1+1 , 1+1+1+1 जैसे सभी अनुक्रम सम्मिलित हैंI  इC तरह, रिक्त अनुक्रम सहित। ऐसे प्रत्येक अनुक्रम को उसके मूल्यांकन परिणाम से मैप करना चाहिएI<ref>Since addition of natural numbers is associative, the result doesn't depend on the order of evaluation, thus ensuring the mapping to be well-defined.</ref> शून्य के लिए रिक्त अनुक्रम ऐसे अनुक्रमों के समुच्चय से '''N<sub>0</sub>''' तक समरूपता स्थापित करता हैI यह समरूपता + के साथ संगत है, अर्थात किन्हीं भी दो अनुक्रमों ''s'' और ''t'' के लिए यदि ''s'' को किC संख्या ''m'' और ''t' पर मैप किया गया हैI''
 === क्लेन स्टार ===
-[[औपचारिक भाषा]] सिद्धांत में, सामान्य तौर पर प्रतीक A का एक सीमित समुच्चय माना जाता है। प्रतीकों के एक परिमित अनुक्रम को ए पर एक शब्द कहा जाता है, और मुक्त मोनोइड ए<sup>∗</sup> को ए कहा जाता है। इस प्रकार, औपचारिक भाषाओं के अमूर्त अध्ययन को अंतिम रूप से उत्पन्न मुक्त मोनोइड्स के सबसमुच्चय के अध्ययन के रूप में माना जा सकता है।
+[[औपचारिक भाषा]] सिद्धांत में, सामान्य तौर पर प्रतीक A का एक C समुच्चय माना जाता है। प्रतीकों के एक परिमित अनुक्रम को A पर एक शब्द कहा जाता है, और मुक्त मोनोइड ए<sup>∗</sup> को ए कहा जाता है। इस प्रकार, औपचारिक भाषाओं के अमूर्त अध्ययन को अंतिम रूप से उत्पन्न मुक्त मोनोइड्स के सबसमुच्चय के अध्ययन के रूप में माना जा सकता है।
 उदाहरण के लिए, अक्षर ''A'' = {''a'', ''b'', ''c''}, का [[ क्लेन स्टार ]] ''A''<sup>∗</sup> में ''a'', ''b'' और C के सभी संयोजन सम्मिलित हैंI
-यदि ए कोई समुच्चय है, तो शब्द की लंबाई ए पर कार्य करती हैI ए से अद्वितीय [[मोनोइड समरूपता]] है<sup>∗</sup> से (एन<sub>0</sub>,+) जो ए के प्रत्येक तत्व को 1 से मैप करता है। मुक्त मोनॉयड इस प्रकार ग्रेडेड मोनॉयड है।<ref name=Sak382>Sakarovitch (2009) p.382</ref> (एक वर्गीकृत मोनोइड एम मोनोइड है जिसे लिखा जा सकता है <math>M=M_0\oplus M_1\oplus M_2 \cdots</math>. प्रत्येक <math>M_n</math> एक ग्रेड है; यहाँ ग्रेडिंग सिर्फ स्ट्रिंग की लंबाई है। वह है, <math>M_n</math> लंबाई के वे तार हैं <math>n.</math>  <math>\oplus</math> h>  सामान्य तौर पर, समुच्चय यूनियन्स मोनोइड्स नहीं हो सकते हैं इसलिए अलग प्रतीक का उपयोग किया जाता है। ग्रेडेशन हमेशा के <math>\oplus</math> प्रतीक।साथ लिखे जाते हैं I
+यदि ए कोई समुच्चय है, तो शब्द की लंबाई ए पर कार्य करती हैI A से अद्वितीय [[मोनोइड समरूपता]] है<sup>∗</sup> से (n<sub>0</sub>,+) जो ए के प्रत्येक तत्व को 1 से मैप करता है। मुक्त मोनॉयड इस प्रकार ग्रेडेड मोनॉयड है।<ref name=Sak382>Sakarovitch (2009) p.382</ref> (एक वर्गीकृत मोनोइड एम मोनोइड है जिसे लिखा जा सकता है <math>M=M_0\oplus M_1\oplus M_2 \cdots</math>. प्रत्येक <math>M_n</math> एक ग्रेड है; यहाँ ग्रेडिंग सिर्फ स्ट्रिंग की लंबाई है। वह है, <math>M_n</math> लंबाई के वे तार हैं <math>n.</math>  <math>\oplus</math> h>  सामान्य तौर पर, समुच्चय यूनियन्स मोनोइड्स नहीं हो सकते हैं इसलिए अलग प्रतीक का उपयोग किया जाता है। ग्रेडेशन हमेशा के <math>\oplus</math> प्रतीक।साथ लिखे जाते हैं I
-सेमीग्रुप्स के सिद्धांत और [[ऑटोमेटा सिद्धांत]] के बीच गहरे संबंध हैं। उदाहरण के लिए प्रत्येक औपचारिक भाषा में एक वाक्यात्मक मोनोइड होता है जो उस भाषा को पहचानता है। [[नियमित भाषा]] के मामले में, वह मोनॉयड कुछ नियतात्मक परिमित ऑटोमेटन के सेमीऑटोमेटन से जुड़े मोनोइड के लिए आइसोमोर्फिक है जो उस भाषा को पहचानता है। एक वर्णमाला ए पर नियमित भाषाएं ए * के परिमित उपसमुच्चय को बंद कर रही हैं, संघ, उत्पाद और सबमोनॉयड के तहत ए पर मुक्त मोनॉयड।<ref>
+सेमीग्रुप्स के सिद्धांत और [[ऑटोमेटा सिद्धांत]] के गहरे संबंध हैं। उदाहरण के लिए प्रत्येक औपचारिक भाषा में एक वाक्यात्मक मोनोइड होता है जो उस भाषा को पहचानता है। [[नियमित भाषा]] के मामले में, वह मोनॉयड कुछ नियतात्मक परिमित ऑटोमेटन के सेमीऑटोमेटन से जुड़े मोनोइड के लिए आइसोमोर्फिक है जो उस भाषा को पहचानता है। एक वर्णमाला ए पर नियमित भाषाएं ए * के परिमित उपसमुच्चय को बंद कर रही हैं, संघ, उत्पाद और सबमोनॉयड के तहत ए पर मुक्त मोनॉयड।<ref>
 {{Cite book|url=https://books.google.com/books?id=C5QbCAAAQBAJ|title=Groups, Languages, Algorithms: AMS-ASL Joint Special Session on Interactions Between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland|last=Borovik|first=Alexandre|date=2005-01-01|publisher=American Mathematical Soc.|isbn=9780821836187|language=en}}
-</ref> समवर्ती संगणना अर्थात् लॉक कंप्यूटर विज्ञान, [[ म्युटेक्स ]] या [[ धागा जुड़ना ]] के साथ सिस्टम, संगणना को [[इतिहास मोनोइड]] और [[ट्रेस मोनोइड]] के साथ वर्णित किया जा सकता है। मोटे तौर पर मोनॉइड के तत्व कम्यूट कर सकते हैं जैसे कि अलग-अलग थ्रेड्स किसी भी क्रम में निष्पादित हो सकते हैं लेकिन केवल एक लॉक या म्यूटेक्स तक, जो आगे कम्यूटेशन को रोकता है उस थ्रेड एक्सेस को क्रमबद्ध करें।
+</ref> समवर्ती संगणना अर्थात् लॉक कंप्यूटर विज्ञान, म्युटेक्स के साथ सिस्टम, संगणना को [[इतिहास मोनोइड]] और [[ट्रेस मोनोइड]] के साथ वर्णित किया जा सकता है। मोटे तौर पर मोनॉइड के तत्व कम्यूट कर सकते हैं जैसे कि अलग-अलग थ्रेड्स किC भी क्रम में निष्पादित हो सकते हैं लेकिन केवल एक लॉक या म्यूटेक्स तक, जो आगे कम्यूटेशन को रोकता है उस थ्रेड Xेस को क्रमबद्ध करें।
 == संयुग्मित शब्द ==
@@ Line 31: / Line 31: @@
 == रैंक ==
-समुच्चय ए के सदस्यों को ए के लिए 'फ्री जेनरेटर' कहा जाता है<sup>∗</sup> और ए<sup>+</sup>. सुपरस्क्रिप्ट * को क्लेन स्टार समझा जाता है। सामान्य तौर पर यदि एस अमूर्त मुक्त मोनॉयड सेमीग्रुप है तो तत्वों का समुच्चय जो आइसोमोर्फिज्म के तहत एकल-अक्षर वाले शब्दों के समुच्चय पर सेमीग्रुप ए के लिए मैप करता है।
+समुच्चय ए के सदस्यों को ए के लिए 'फ्री जेनरेटर' कहा जाता है<sup>∗</sup> और ए<sup>+</sup>. सुपरस्क्रिप्ट * को क्लेन स्टार समझा जाता है। सामान्य तौर पर यदि S अमूर्त मुक्त मोनॉयड सेमीग्रुप है तो तत्वों का समुच्चय जो आइसोमोर्फिज्म के तहत एकल-अक्षर वाले शब्दों के समुच्चय पर सेमीग्रुप ए के लिए मैप करता है।
-प्रत्येक मुक्त सेमीग्रुप या मोनॉयड एस में जनरेटर का समुच्चय होता है जिसकी [[प्रमुखता]] को एस की रैंक कहा जाता है।
+प्रत्येक मुक्त सेमीग्रुप या मोनॉयड S में जनरेटर का समुच्चय होता है जिसकी [[प्रमुखता]] को S की रैंक कहा जाता है।
-दो मुक्त मोनोइड्स या सेमीग्रुप आइसोमोर्फिक हैं यदि और केवल यदि उनके पास समान रैंक है। वास्तव में सेमीग्रुप या मोनॉयड एस के लिए जनरेटर के प्रत्येक समुच्चय में जनरेटर होते हैंI जनरेटर की शब्द
+दो मुक्त मोनोइड्स या सेमीग्रुप आइसोमोर्फिक हैं यदि और केवल यदि उनके पास समान रैंक है। वास्तव में सेमीग्रुप या मोनॉयड S के लिए जनरेटर के प्रत्येक समुच्चय में जनरेटर होते हैंI जनरेटर की शब्द
-लंबाई 1 होती है और इसलिए इसे केवल स्वयं ही उत्पन्न किया जा सकता है। यह इस प्रकार है कि एक मुक्त सेमिग्रुप या मोनॉयड निश्चित रूप से उत्पन्न होता है यदि और केवल अगर इसकी सीमित रैंक है।
+लंबाई 1 होती है और इसलिए इसे केवल स्वयं ही उत्पन्न किया जा सकता है। यह इस प्रकार है कि एक मुक्त सेमिग्रुप या मोनॉयड निश्चित रूप से उत्पन्न होता है यदि और केवल अगर इसकी Cमित रैंक है।
-ए का [[ submonoid | सब मोनोइड]]  एन<sup>∗</sup> स्थिर होता हैI .<ref name="BPR61">{{harvtxt|Berstel|Perrin|Reutenauer|2010|p=61}}</ref> ए का एक सबमोनॉयड<sup>∗</sup> स्थिर हैI<ref name="BPR62">{{harvtxt|Berstel|Perrin|Reutenauer|2010|p=62}}</ref>उदाहरण के लिए, [[ अंश | अंश]] के समुच्चय {0, 1} को ए के रूप में उपयोग करते हुए, 1 एस की सम संख्या वाली सभी बिट स्ट्रिंग्स का समुच्चय एन एक स्थिर सबमोनॉइड है क्योंकि यदि यू में 1 एस की सम संख्या है और यूएक्स भी है, तब एक्स में 1 एस की सम संख्या भी होनी चाहिए। जबकि एन को एकल बिट्स के किसी भी समुच्चय द्वारा स्वतंत्र रूप से उत्पन्न नहीं किया जा सकता हैI यह बिट स्ट्रिंग्स {0, 11, 101, 1001, 10001 } के समुच्चय द्वारा स्वतंत्र रूप से उत्पन्न किया जा सकता है -
+A का उपमोनोइड  एन<sup>∗</sup> स्थिर होता हैI .<ref name="BPR61">{{harvtxt|Berstel|Perrin|Reutenauer|2010|p=61}}</ref> ए का एक सबमोनॉयड<sup>∗</sup> स्थिर हैI<ref name="BPR62">{{harvtxt|Berstel|Perrin|Reutenauer|2010|p=62}}</ref>उदाहरण के लिए, [[ अंश | अंश]] के समुच्चय {0, 1} को ए के रूप में उपयोग करते हुए, 1 S की सम संख्या वाली सभी बिट स्ट्रिंग्स का समुच्चय एन एक स्थिर सबमोनॉइड है क्योंकि यदि यू में 1 S की सम संख्या है और यूX भी है, तब X में 1 S की सम संख्या भी होनी चाहिए। जबकि एन को एकल बिट्स के किC भी समुच्चय द्वारा स्वतंत्र रूप से उत्पन्न नहीं किया जा सकता हैI यह बिट स्ट्रिंग्स {0, 11, 101, 1001, 10001 } के समुच्चय द्वारा स्वतंत्र रूप से उत्पन्न किया जा सकता है -
 === कोड ===
-मुक्त मोनॉइड पी के लिए मुफ्त जनरेटर का एक समुच्चय 'पी' के लिए 'आधार' के रूप में संदर्भित किया जाता है: शब्दों का एक समुच्चय सी एक 'कोड' है यदि सी * एक मुक्त मोनॉयड है और सी एक आधार है।<ref name=Lot5/>  ए में शब्दों का एक समुच्चय एक्स<sup>∗</sup> एक उपसर्ग है, या उसके पास उपसर्ग गुण है, यदि उसमें इसके किसी भी तत्व का उचित [[उपसर्ग (कंप्यूटर विज्ञान)]]|(स्ट्रिंग) उपसर्ग नहीं है<!--- deleted, since "≤" as shorthand for "string prefix of" has not been defined yet, and is not used elsewhere in the article: that is, ''x'',''y'' in ''X'' with ''x'' ≤ ''y'' implies ''x'' = ''y''--->. ए में हर उपसर्ग<sup>+</sup> एक कोड है, वास्तव में एक [[उपसर्ग कोड]] है।<ref name=Lot5/><ref name=BPR58>{{harvtxt|Berstel|Perrin|Reutenauer|2010|p=58}}</ref>
+मुक्त मोनॉइड पी के लिए मुफ्त जनरेटर का एक समुच्चय 'पी' के लिए 'आधार' के रूप में संदर्भित किया जाता है: शब्दों का एक समुच्चय C एक 'कोड' है यदि C * एक मुक्त मोनॉयड है और C एक आधार है।<ref name=Lot5/>  ए में शब्दों का एक समुच्चय X<sup>∗</sup> एक उपसर्ग है, या उसके पास उपसर्ग गुण है, यदि उसमें इसके किC भी तत्व का उचित [[उपसर्ग (कंप्यूटर विज्ञान)]]|(स्ट्रिंग) उपसर्ग नहीं है<!--- deleted, since "≤" as shorthand for "string prefix of" has not been defined yet, and is not used elsewhere in the article: that is, ''x'',''y'' in ''X'' with ''x'' ≤ ''y'' implies ''x'' = ''y''--->. ए में हर उपसर्ग<sup>+</sup> एक कोड है, वास्तव में एक [[उपसर्ग कोड]] है।<ref name=Lot5/><ref name=BPR58>{{harvtxt|Berstel|Perrin|Reutenauer|2010|p=58}}</ref>
-ए का एक सबमोनॉइड एन<sup>∗</sup> सही एकात्मक है अगर ''x'', ''xy'' में ''N'' का अर्थ ''y'' से ''N'' में है। सबमोनॉयड उपसर्ग द्वारा उत्पन्न होता है यदि और केवल अगर यह सही एकात्मक है।<ref name=Lot15>{{harvtxt|Lothaire|1997|p=15}}</ref>
+A का एक सबमोनॉइड एन<sup>∗</sup> सही एकात्मक है अगर ''x'', ''xy'' में ''N'' का अर्थ ''y'' से ''N'' में है। सबमोनॉयड उपसर्ग द्वारा उत्पन्न होता है यदि और केवल अगर यह सही एकात्मक है।<ref name="Lot15">{{harvtxt|Lothaire|1997|p=15}}</ref>
 == गुणनखंड ==
-{{main |Monoid factorisation}}
+एक मुक्त मोनॉइड का गुणनखंड संपत्ति के साथ शब्दों के सबसमुच्चय का क्रम है कि मुक्त मोनॉइड में प्रत्येक शब्द को उपसमुच्चय से खींचे गए तत्वों के संयोजन के रूप में लिखा जा सकता है। चेन-फॉक्स-लिंडन प्रमेय कहता है कि [[लिंडन शब्द]] एक गुणनखंड प्रस्तुत करते हैं। हॉल शब्द एक गुणनखंड प्रदान करते हैंI लिंडन शब्द हॉल शब्दों का विशेष मामला है।
-एक मुक्त मोनॉइड का गुणनखंड संपत्ति के साथ शब्दों के सबसमुच्चय का क्रम है कि मुक्त मोनॉइड में प्रत्येक शब्द को उपसमुच्चय से खींचे गए तत्वों के संयोजन के रूप में लिखा जा सकता है। चेन-फॉक्स-लिंडन प्रमेय कहता है कि [[लिंडन शब्द]] एक गुणनखंड प्रस्तुत करते हैं।  [[हॉल शब्द]] एक गुणनखंड प्रदान करते हैंI लिंडन शब्द हॉल शब्दों का विशेष मामला है।
 == मुक्त पतवार ==
-एस मुक्त मोनॉइड ए का एक उपसमुच्चय है, तो ए युक्त एस के सभी मुक्त सबमोनॉयड्स का प्रतिच्छेदन अच्छी तरह से परिभाषित है क्योंकि ए स्वयं मुक्त है और इसमें एस सम्मिलित हैI यह एक मुक्त मोनोइड है और इसे एस का 'मुक्त पतवार' कहा जाता है। इस चौराहे का आधार एक कोड है।
+S मुक्त मोनॉइड ए का एक उपसमुच्चय है, तो ए युक्त S के सभी मुक्त सबमोनॉयड्स का प्रतिच्छेदन अच्छी तरह से परिभाषित है क्योंकि ए स्वयं मुक्त है और इसमें S सम्मिलित हैI यह एक मुक्त मोनोइड है और इसे S का 'मुक्त पतवार' कहा जाता है। इस चौराहे का आधार एक कोड है।
-'दोष प्रमेय'<ref name="Lot6">{{harvtxt|Lothaire|1997|p=6}}</ref><ref name="LotII204">{{harvtxt|Lothaire|2011|p=204}}</ref><ref name=BPR66>{{harvtxt|Berstel|Perrin|Reutenauer|2010|p=66}}</ref> बताता है कि यदि X परिमित है और C, X के मुक्त पतवार का आधार है, तो या तो X एक कोड है और C = X, या|सी| ≤ |एक्स| - 1।
+'दोष प्रमेय'<ref name="Lot6">{{harvtxt|Lothaire|1997|p=6}}</ref><ref name="LotII204">{{harvtxt|Lothaire|2011|p=204}}</ref><ref name=BPR66>{{harvtxt|Berstel|Perrin|Reutenauer|2010|p=66}}</ref> बताता है कि यदि X परिमित है और C, X के मुक्त पतवार का आधार है, तो या तो X एक कोड है और C = X, या C ≤ X - 1 है।
 == आकारिकी ==
-एक मुक्त मोनोइड बी से एक [[मोनोइड आकारिकी]] एफ<sup>∗</sup> मोनोइड एम के लिए जैसे कि f(xy) = f(x)⋅f(y) शब्दों के लिए x,y और f(ε) = ι एक नक्शा है जहां ε और ι के पहचान तत्वों को दर्शाता हैI बी<sup>∗</sup> और एम , क्रमशः। मोर्फिज्म एफ बी के अक्षरों पर इसके मूल्यों द्वारा निर्धारित किया जाता है और इसके विपरीत बी से एम तक एक मोर्फिज्म है। मुक्त मोनॉइड बी से एक आकारिकी f<sup>∗</sup> एक मुक्त मोनोइड ए के लिए<sup>∗</sup> कुल है यदि ''A'' का प्रत्येक अक्षर एफ की छवि में किसी शब्द में आता हैI चक्रीय<ref name="Lot164">{{harvtxt|Lothaire|1997|p=164}}</ref>या आवधिक<ref name=Sal77>Salomaa (1981) p.77</ref> अगर एफ की छवि {डब्लू } में समाहित है<sup>∗</sup> ए के कुछ शब्द डब्लू के लिए<sup>∗</sup>. यदि लंबाई |एफ (a)| है तो आकारिकी एफ 'k-वर्दी' है A में सभी a के लिए स्थिर और k के बराबर है।<ref name=ApCoW522>{{harvtxt|Lothaire|2005|p=522}}</ref><ref name=BR103>{{cite book | last1=Berstel | first1=Jean | last2=Reutenauer | first2=Christophe | title=अनुप्रयोगों के साथ गैर-अनुवर्ती तर्कसंगत श्रृंखला| series=Encyclopedia of Mathematics and Its Applications | volume=137 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2011 | isbn=978-0-521-19022-0 | zbl=1250.68007 | page=103 }}</ref> <ref name=AS9>{{harvtxt|Allouche|Shallit|2003|p=9}}</ref>मुक्त मोनॉइड B से आकारिकी f<sup>∗</sup> मुक्त मोनोइड ए के लिए<sup>∗</sup> सरल है अगर 'बी' की तुलना में कार्डिनैलिटी का अक्षर 'सी' है, तो आकारिकी ''एफ'' कारक ''सी'' के माध्यम से अर्थात यह B से आकारिकी का संघटन हैI  आकृतिवाद एफ एक 'कोड' है यदि एफ के अंतर्गत अक्षर बी की एक कोड हैI प्रत्येक प्रारंभिक आकारिकी एक कोड है।<ref name=Sal72>Salomaa (1981) p.72</ref>
+एक मुक्त मोनोइड B से एक [[मोनोइड आकारिकी]] F<sup>∗</sup> मोनोइड एम के लिए जैसे कि f(xy) = f(x)⋅f(y) शब्दों के लिए x,y और f(ε) = ι एक मानचित्र है जहां ε और ι के पहचान तत्वों को दर्शाता हैI B<sup>∗</sup> और एम , क्रमशः। मोर्फिज्म F B के अक्षरों पर इसके मूल्यों द्वारा निर्धारित किया जाता है और इसके विपरीत B से एम तक एक मोर्फिज्म है। मुक्त मोनॉइड B से एक आकारिकी f<sup>∗</sup> एक मुक्त मोनोइड ए के लिए<sup>∗</sup> कुल है यदि ''A'' का प्रत्येक अक्षर F की छवि में किC शब्द में आता हैI चक्रीय<ref name="Lot164">{{harvtxt|Lothaire|1997|p=164}}</ref>या आवधिक<ref name=Sal77>Salomaa (1981) p.77</ref> अगर F की छवि {डब्लू } में समाहित है<sup>∗</sup> ए के कुछ शब्द डब्लू के लिए<sup>∗</sup>. यदि लंबाई F (a) है तो आकारिकी F 'k-वर्दी' है A में सभी a के लिए स्थिर और k के बराबर है।<ref name=ApCoW522>{{harvtxt|Lothaire|2005|p=522}}</ref><ref name=BR103>{{cite book | last1=Berstel | first1=Jean | last2=Reutenauer | first2=Christophe | title=अनुप्रयोगों के साथ गैर-अनुवर्ती तर्कसंगत श्रृंखला| series=Encyclopedia of Mathematics and Its Applications | volume=137 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2011 | isbn=978-0-521-19022-0 | zbl=1250.68007 | page=103 }}</ref> <ref name=AS9>{{harvtxt|Allouche|Shallit|2003|p=9}}</ref>मुक्त मोनॉइड B से आकारिकी f<sup>∗</sup> मुक्त मोनोइड ए के लिए<sup>∗</sup> सरल है अगर 'B' की तुलना में कार्डिनैलिT का अक्षर 'C' है, तो आकारिकी ''F'' कारक ''C'' के माध्यम से अर्थात यह B से आकारिकी का संघटन हैI  आकृतिवाद F एक 'कोड' है यदि F के अंतर्गत अक्षर B की एक कोड हैI प्रत्येक प्रारंभिक आकारिकी एक कोड है।<ref name=Sal72>Salomaa (1981) p.72</ref>
 === टेस्ट समुच्चय ===
-एल के लिए बी का एक सबसमुच्चय<sup>∗</sup>, L का परिमित उपसमुच्चय T, L के लिए एक परीक्षण समुच्चय है, यदि आकारिकी f और g पर B<sup>∗</sup> L पर सहमत हैं यदि और केवल यदि वे T पर सहमत हैं। 'Ehrenfeucht conjecture' यह है कि किसी भी उपसमुच्चय L का एक परीक्षण समुच्चय है:<ref name=Lot1789>{{harvtxt|Lothaire|1997|pp=178–179}}</ref> यह साबित हो गया है<ref name=LotII451>{{harvtxt|Lothaire|2011|p=451}}</ref> स्वतंत्र रूप से अल्बर्ट और लॉरेंस द्वारा; मैकनॉटन; और गुबा। सबूत हिल्बर्ट के आधार प्रमेय पर भरोसा करते हैं।<ref>{{cite journal | first=A. | last=Salomaa | authorlink=Arto Salomaa | title=The Ehrenfeucht conjecture: A proof for language theorists | journal=Bulletin of the EATCS  | number=27 | date=October 1985 | pages=71–82 }}</ref>
+एल के लिए B का एक सबसमुच्चय<sup>∗</sup>, L का परिमित उपसमुच्चय T, L के लिए एक परीक्षण समुच्चय है, यदि आकारिकी f और g पर B<sup>∗</sup> L पर सहमत हैं यदि और केवल यदि वे T पर सहमत हैं। 'Ehrenfeucht conjecture' यह है कि किC भी उपसमुच्चय L का एक परीक्षण समुच्चय है:<ref name=Lot1789>{{harvtxt|Lothaire|1997|pp=178–179}}</ref> यह साबित हो गया है<ref name=LotII451>{{harvtxt|Lothaire|2011|p=451}}</ref> स्वतंत्र रूप से अल्बर्ट और लॉरेंस द्वारा; मैकनॉटन; और गुबा। सबूत हिल्बर्ट के आधार प्रमेय पर भरोसा करते हैं।<ref>{{cite journal | first=A. | last=Salomaa | authorlink=Arto Salomaa | title=The Ehrenfeucht conjecture: A proof for language theorists | journal=Bulletin of the EATCS  | number=27 | date=October 1985 | pages=71–82 }}</ref>
-=== नक्शा और तह ===
+=== मानचित्र और तह ===
-{{unreferenced section|date=February 2015}}
+एक मोनोइड मोर्फिज्म का कम्प्यूटेशनल अवतार एक मानचित्र (उच्च-क्रम फलन) है जिसके बाद एक तह (उच्च-क्रम फलन) होता है। इस समुच्चयिंग में, समुच्चय ए पर मुक्त मोनॉयड बाइनरी ऑपरेशन के रूप में संयोजन के साथ ए से तत्वों की [[सूची (कंप्यूटिंग)]] से मेल खाता है। मुक्त मोनोइड से किC भी अन्य मोनोइड (m, •) के लिए एक मोनोइड समरूपता एक ऐसा कार्य है जो F है
-एक मोनोइड मोर्फिज्म का कम्प्यूटेशनल अवतार एक नक्शा (उच्च-क्रम फ़ंक्शन) है जिसके बाद एक तह (उच्च-क्रम फ़ंक्शन) होता है। इस समुच्चयिंग में, समुच्चय ए पर मुक्त मोनॉयड बाइनरी ऑपरेशन के रूप में संयोजन के साथ ए से तत्वों की [[सूची (कंप्यूटिंग)]] से मेल खाता है। मुक्त मोनोइड से किसी भी अन्य मोनोइड (एम, •) के लिए एक मोनोइड समरूपता एक ऐसा कार्य है जो एफ है
+* F (X<sub>1</sub>...X<sub>''n''</sub>) = F (X<sub>1</sub>) • ... • F (X<sub>''n''</sub>)
-* एफ (एक्स<sub>1</sub>...एक्स<sub>''n''</sub>) = एफ (एक्स<sub>1</sub>) • ... • एफ (एक्स<sub>''n''</sub>)
+* F () = ई
-* एफ () = ई
+जहां ई एम पर पहचान है। कम्प्यूटेशनल रूप से, इस तरह के प्रत्येक समरूपता सूची के सभी तत्वों के लिए F लागू करने वाले मानचित्र (उच्च-क्रम फलन) ऑपरेशन से मेल खाती है, जिसके बाद एक फोल्ड (उच्च-क्रम फलन) ऑपरेशन होता है जो परिणाम का उपयोग करके जोड़ता है बाइनरी ऑपरेटर •। यह स्क्विगोल (जिसे गैर-सहयोगी बाइनरी ऑपरेटरों के लिए सामान्यीकृत किया जा सकता है) ने मानचित्रसंकुचन सॉफ़्टवेयर ढांचे को प्रेरित किया है।{{citation needed|date=February 2015}}
-जहां ई एम पर पहचान है। कम्प्यूटेशनल रूप से, इस तरह के प्रत्येक समरूपता सूची के सभी तत्वों के लिए एफ लागू करने वाले मानचित्र (उच्च-क्रम फ़ंक्शन) ऑपरेशन से मेल खाती है, जिसके बाद एक फोल्ड (उच्च-क्रम फ़ंक्शन) ऑपरेशन होता है जो परिणाम का उपयोग करके जोड़ता है बाइनरी ऑपरेटर •। यह [[ squiggol ]] (जिसे गैर-सहयोगी बाइनरी ऑपरेटरों के लिए सामान्यीकृत किया जा सकता है) ने [[MapReduce]] सॉफ़्टवेयर ढांचे को प्रेरित किया है।{{citation needed|date=February 2015}}
 == [[एंडोमोर्फिज्म]] ==
-''ए'' का एक एंडोमोर्फिज्म<sup>∗</sup> A का आकार है<sup>∗</sup> खुद के लिए।<ref name=LotII450>{{harvtxt|Lothaire|2011|p=450}}</ref> [[पहचान मानचित्र]] I, A का एंडोमोर्फिज्म है<sup>∗</sup>, और एंडोमोर्फिज्म [[कार्यों की संरचना]] के तहत एक मोनोइड बनाते हैं।
+''A'' का एक एंडोमोर्फिज्म<sup>∗</sup> A का आकार है<sup>∗</sup> खुद के लिए।<ref name=LotII450>{{harvtxt|Lothaire|2011|p=450}}</ref> पहचान मानचित्र I, A का एंडोमोर्फिज्म है<sup>∗</sup>, और एंडोमोर्फिज्म [[कार्यों की संरचना]] के तहत एक मोनोइड बनाते हैं।
-एक एंडोमोर्फिज्म f 'लम्बी' है यदि कोई अक्षर ऐसा है कि f(a) = गैर-रिक्त स्ट्रिंग s के लिए।<ref name=AS10>Allouche & Shallit (2003) p.10</ref>
+एक एंडोमोर्फिज्म f 'लम्B' है यदि कोई अक्षर ऐसा है कि f(a) = गैर-रिक्त स्ट्रिंग s के लिए है।<ref name=AS10>Allouche & Shallit (2003) p.10</ref>
 === स्ट्रिंग प्रोजेक्शन ===
-स्ट्रिंग ऑपरेशंस का संचालन # स्ट्रिंग प्रोजेक्शन एक एंडोमोर्फिज्म है। अर्थात्, एक अक्षर a ∈ Σ और एक स्ट्रिंग s ∈ Σ दिया गया है<sup>∗</sup>, स्ट्रिंग प्रोजेक्शन पी<sub>a</sub>(एस) एस से ए की हर घटना को हटा देता है; इसे औपचारिक रूप से परिभाषित किया गया है
+स्ट्रिंग ऑपरेशंस का संचालन स्ट्रिंग प्रोजेक्शन एक एंडोमोर्फिज्म है। अर्थात्, एक अक्षर a ∈ Σ और एक स्ट्रिंग s ∈ Σ दिया गया है<sup>∗</sup>, स्ट्रिंग प्रोजेक्शन पी<sub>a</sub>(S) S से ए की हर घटना को हटा देता है; इसे औपचारिक रूप से परिभाषित किया गया है
 :<math>p_a(s) = \begin{cases}
@@ Line 87: / Line 87: @@
 :<math>p_a\left(\Sigma^*\right)= \left(\Sigma-a\right)^*</math>
-कहाँ <math>p_a\left(\Sigma^*\right)</math> समझा जाता है कि सभी परिमित तारों का मुक्त मोनॉइड होता है जिसमें अक्षर a नहीं होता है। प्रोजेक्शन स्ट्रिंग कॉन्सटेनेशन के संचालन के साथ शुरू होता है, ताकि <math>p_a(st)=p_a(s)p_a(t)</math> सभी तार एस और टी के लिए। स्ट्रिंग प्रोजेक्शन के कई सही व्युत्क्रम हैं, और इस प्रकार यह एक [[विभाजित एपिमोर्फिज्म]] है।
+कहाँ <math>p_a\left(\Sigma^*\right)</math> समझा जाता है कि सभी परिमित तारों का मुक्त मोनॉइड होता है जिसमें अक्षर a नहीं होता है। प्रोजेक्शन स्ट्रिंग कॉन्सटेनेशन के संचालन के साथ शुरू होता है, ताकि <math>p_a(st)=p_a(s)p_a(t)</math> सभी तार S और T के लिए है। स्ट्रिंग प्रोजेक्शन के कई सही व्युत्क्रम हैं, और इस प्रकार यह एक विभाजित एपिमोर्फिज्म है।
 पहचान रूपवाद है <math>p_\varepsilon,</math> के रूप में परिभाषित <math>p_\varepsilon(s)=s</math> सभी स्ट्रिंग्स के लिए, और <math>p_\varepsilon(\varepsilon)=\varepsilon</math>.
@@ Line 99: / Line 99: @@
 :<math>p_a(p_a(s))=p_a(s)</math>
-सभी तार एस के लिए। इस प्रकार, प्रक्षेपण एक उदासीन, क्रमविनिमेय संक्रिया है, और इसलिए यह एक बंधी हुई अर्धजालिका या एक क्रमविनिमेय [[बैंड (बीजगणित)]] बनाता है।
+सभी तार S के लिए। इस प्रकार, प्रक्षेपण एक उदाCन, क्रमविनिमेय संक्रिया है, और इसलिए यह एक बंधी हुई अर्धजालिका या एक क्रमविनिमेय [[बैंड (बीजगणित)|बैंड (Bजगणित)]] बनाता है।
-== मुफ्त [[ क्रमविनिमेय मोनोइड ]] ==
+== मुफ्त क्रमविनिमेय मोनोइड ==
-एक समुच्चय ए को देखते हुए, ए पर 'फ्री कम्यूटेटिव मोनोइड' ए से तैयार किए गए तत्वों के साथ सभी परिमित [[ multiset ]]्स का समुच्चय है, जिसमें मोनोइड ऑपरेशन मल्टीसमुच्चय योग है और मोनोइड यूनिट रिक्त मल्टीसमुच्चय है।
+एक समुच्चय ए को देखते हुए, ए पर 'फ्री कम्यूटेटिव मोनोइड' ए से तैयार किए गए तत्वों के साथ सभी परिमित बहु समुच्चय का समुच्चय है, जिसमें मोनोइड ऑपरेशन बहु समुच्चय योग है और मोनोइड यूनिट रिक्त मल्Tसमुच्चय है।
-उदाहरण के लिए, यदि ए = {ए, बी, सी}, ए पर मुक्त कम्यूटेटिव मोनोइड के तत्व फॉर्म के हैं
+उदाहरण के लिए, यदि ''A'' = {''a'', ''b'', ''c''}, A पर मुक्त कम्यूटेटिव मोनोइड के तत्व फॉर्म के हैं
-:{ε, ए, एबी, ए<sup>2</सुप>बी, अब<sup>3</sup>सी<sup>4</sup>, ...}.
+:{ε, ''a'', ''ab'', ''a''<sup>2</sup>''b'', ''ab''<sup>3</sup>''c''<sup>4</sup>, ...}.
-अंकगणित के मौलिक प्रमेय में कहा गया है कि गुणन के तहत धनात्मक पूर्णांकों का मोनॉयड जनरेटर के अनंत समुच्चय पर एक मुक्त क्रमविनिमेय मोनॉइड है, [[अभाज्य संख्या]]एँ।
+अंकगणित के मौलिक प्रमेय में कहा गया है कि गुणन के तहत धनात्मक पूर्णांकों का मोनॉयड जनरेटर के अनंत समुच्चय पर एक मुक्त क्रमविनिमेय मोनॉइड अभाज्य संख्याएँ है।
-फ्री कम्यूटेटिव सेमीग्रुप [[मुक्त आंशिक रूप से विनिमेय मोनॉयड]] सबसमुच्चय है जिसमें रिक्त मल्टीसमुच्चय को छोड़कर 'ए' से खींचे गए सभी मल्टीसमुच्चय सम्मिलित हैं।
+फ्री कम्यूटेटिव सेमीग्रुप मुक्त आंशिक रूप से विनिमेय मोनॉयड सबसमुच्चय है जिसमें रिक्त मल्Tसमुच्चय को छोड़कर 'ए' से खींचे गए सभी मल्Tसमुच्चय सम्मिलित हैं।
 मुक्त आंशिक रूप से कम्यूटेटिव मोनॉयड, या 'ट्रेस मोनॉयड', एक सामान्यीकरण है जिसमें उदाहरण के रूप में फ्री और फ्री कम्यूटेटिव मोनॉयड दोनों सम्मिलित हैं। यह सामान्यीकरण [[साहचर्य]] और [[कंप्यूटर विज्ञान]] में समांतर कंप्यूटिंग के अध्ययन में अनुप्रयोगों को ढूंढता है।

Anonymous

Search

मुक्त मोनोइड: Difference between revisions

Namespaces

More

Page actions

Revision as of 17:25, 29 July 2023

Contents