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

Latest revision as of 09:41, 22 August 2023

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

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

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

उदाहरण

प्राकृतिक संख्या

मोनोइड (N₀,+) प्राकृतिक संख्याओं के अतिरिक्त सिंगलटन मुक्त जनरेटर पर एक मुक्त मोनोइड हैI इस मामले में प्राकृतिक संख्या 1 औपचारिक परिभाषा के अनुसार इस मोनॉइड में 1 , 1+1 , 1+1+1 , 1+1+1+1 जैसे सभी अनुक्रम सम्मिलित हैंI इC तरह, रिक्त अनुक्रम सहित। ऐसे प्रत्येक अनुक्रम को उसके मूल्यांकन परिणाम से मैप करना चाहिएI^[4] शून्य के लिए रिक्त अनुक्रम ऐसे अनुक्रमों के समुच्चय से N₀ तक समरूपता स्थापित करता हैI यह समरूपता + के साथ संगत है, अर्थात किन्हीं भी दो अनुक्रमों s और t के लिए यदि s को किC संख्या m और t' पर मैप किया गया हैI

क्लेन स्टार

औपचारिक भाषा सिद्धांत में, सामान्य तौर पर प्रतीक A का एक C समुच्चय माना जाता है। प्रतीकों के एक परिमित अनुक्रम को A पर एक शब्द कहा जाता है, और मुक्त मोनोइड ए^∗ को ए कहा जाता है। इस प्रकार, औपचारिक भाषाओं के अमूर्त अध्ययन को अंतिम रूप से उत्पन्न मुक्त मोनोइड्स के सबसमुच्चय के अध्ययन के रूप में माना जा सकता है।

उदाहरण के लिए, अक्षर A = {a, b, c}, का क्लेन स्टार A^∗ में a, b और C के सभी संयोजन सम्मिलित हैंI

यदि A कोई समुच्चय है, तो शब्द की लंबाई ए पर कार्य करती हैI A से अद्वितीय मोनोइड समरूपता है^∗ से (n₀,+) जो ए के प्रत्येक तत्व को 1 से मैप करता है। मुक्त मोनॉयड इस प्रकार ग्रेडेड मोनॉयड है।^[5] (एक वर्गीकृत मोनोइड एम मोनोइड है जिसे लिखा जा सकता है $M=M_{0}\oplus M_{1}\oplus M_{2}\cdots$ . प्रत्येक $M_{n}$ एक ग्रेड है; यहाँ ग्रेडिंग सिर्फ स्ट्रिंग की लंबाई है। वह है, $M_{n}$ लंबाई के वे तार हैं $n.$ $\oplus$ h> सामान्य तौर पर, समुच्चय यूनियन्स मोनोइड्स नहीं हो सकते हैं इसलिए अलग प्रतीक का उपयोग किया जाता है। ग्रेडेशन हमेशा के $\oplus$ प्रतीक।साथ लिखे जाते हैं I

अर्धसमूह के सिद्धांत और ऑटोमेटा सिद्धांत के गहरे संबंध हैं। उदाहरण के लिए प्रत्येक औपचारिक भाषा में एक वाक्यात्मक मोनोइड होता है जो उस भाषा को पहचानता है। नियमित भाषा के मामले में, वह मोनॉयड कुछ नियतात्मक परिमित ऑटोमेटन के सेमीऑटोमेटन से जुड़े मोनोइड के लिए आइसोमोर्फिक है जो उस भाषा को पहचानता है। एक वर्णमाला ए पर नियमित भाषाएं ए * के परिमित उपसमुच्चय को बंद कर रही हैं, संघ, उत्पाद और सबमोनॉयड के तहत ए पर मुक्त मोनॉयड।^[6] समवर्ती संगणना अर्थात् लॉक कंप्यूटर विज्ञान, म्युटेक्स के साथ सिस्टम, संगणना को इतिहास मोनोइड और ट्रेस मोनोइड के साथ वर्णित किया जा सकता है। मोटे तौर पर मोनॉइड के तत्व कम्यूट कर सकते हैं जैसे कि अलग-अलग थ्रेड्स किC भी क्रम में निष्पादित हो सकते हैं लेकिन केवल एक लॉक या म्यूटेक्स तक, जो आगे कम्यूटेशन को रोकता है उस थ्रेड Xेस को क्रमबद्ध करें।

संयुग्मित शब्द

समविभाज्यता के पहले मामले के लिए उदाहरण: m= UNCLE , n= ANLY , p= UN , q= सफाई से , और s= CLE

A में शब्दों की एक जोड़ी को परिभाषित करते हैं^∗ रूप uv और vu 'संयुग्म' के रूप में: एक शब्द के संयुग्मन इस प्रकार इसके वृत्ताकार बदलाव हैं।^[7] इस अर्थ में दो शब्द संयुग्मित हैं यदि वे ए द्वारा उत्पन्न मुक्त समूह के तत्वों के रूप में संयुग्मन (समूह सिद्धांत) हैं।^[8]

समानता

एक मुक्त मोनोइड समविभाज्य है: यदि समीकरण mn = pq धारण करता है, तो एक s मौजूद है जैसे कि m = ps, sn' ' = q (उदाहरण छवि देखें) या ms = p, n = sq.^[9] इस परिणाम को लेवी की लेम्मा के रूप में भी जाना जाता है।^[10]

एक मोनोइड मुक्त है अगर और केवल अगर यह वर्गीकृत और समविभाज्य है।^[9]

रैंक

समुच्चय A के सदस्यों को ए के लिए 'फ्री जेनरेटर' कहा जाता है और A⁺. सुपरस्क्रिप्ट * को क्लेन स्टार समझा जाता है। सामान्य तौर पर यदि S अमूर्त मुक्त मोनॉयड अर्धसमूह है तो तत्वों का समुच्चय जो आइसोमोर्फिज्म के तहत एकल-अक्षर वाले शब्दों के समुच्चय पर अर्धसमूह ए के लिए मैप करता है।

प्रत्येक मुक्त अर्धसमूह या मोनॉयड S में जनरेटर का समुच्चय होता है जिसकी प्रमुखता को S की रैंक कहा जाता है।

दो मुक्त मोनोइड्स या अर्धसमूह आइसोमोर्फिक हैं यदि और केवल यदि उनके पास समान रैंक है। वास्तव में अर्धसमूह या मोनॉयड S के लिए जनरेटर के प्रत्येक समुच्चय में जनरेटर होते हैंI जनरेटर की शब्द

लंबाई 1 होती है और इसलिए इसे केवल स्वयं ही उत्पन्न किया जा सकता है। यह इस प्रकार है कि एक मुक्त सेमिग्रुप या मोनॉयड निश्चित रूप से उत्पन्न होता है यदि और केवल अगर इसकी Cमित रैंक है।

A का उपमोनोइड N^∗ स्थिर होता हैI .^[11] ए का एक सबमोनॉयड^∗ स्थिर हैI^[12]उदाहरण के लिए, अंश के समुच्चय {0, 1} को A के रूप में उपयोग करते हुए, 1 S की सम संख्या वाली सभी बिट स्ट्रिंग्स का समुच्चय एन एक स्थिर सबमोनॉइड है क्योंकि यदि यू में 1 S की सम संख्या है और यूX भी है, तब X में 1 S की सम संख्या भी होनी चाहिए। जबकि एन को एकल बिट्स के किC भी समुच्चय द्वारा स्वतंत्र रूप से उत्पन्न नहीं किया जा सकता हैI यह बिट स्ट्रिंग्स {0, 11, 101, 1001, 10001 } के समुच्चय द्वारा स्वतंत्र रूप से उत्पन्न किया जा सकता है -

कोड

मुक्त मोनॉइड पी के लिए मुफ्त जनरेटर का एक समुच्चय 'P' के लिए 'आधार' के रूप में संदर्भित किया जाता है: शब्दों का एक समुच्चय C एक 'कोड' है यदि C * एक मुक्त मोनॉयड है और C एक आधार है।^[3] ए में शब्दों का एक समुच्चय X^∗ एक उपसर्ग है, या उसके पास उपसर्ग गुण है, यदि उसमें इसके कि C भी तत्व का उचित उपसर्ग (कंप्यूटर विज्ञान)|(स्ट्रिंग) उपसर्ग नहीं है. A में हर उपसर्ग⁺ एक कोड है, वास्तव में एक उपसर्ग कोड है।^[3]^[13]

A का एक सबमोनॉइड एन^∗ सही एकात्मक है अगर x, xy में N का अर्थ y से N में है। सबमोनॉयड उपसर्ग द्वारा उत्पन्न होता है यदि और केवल अगर यह सही एकात्मक है।^[14]

गुणनखंड

एक मुक्त मोनॉइड का गुणनखंड संपत्ति के साथ शब्दों के सबसमुच्चय का क्रम है कि मुक्त मोनॉइड में प्रत्येक शब्द को उपसमुच्चय से खींचे गए तत्वों के संयोजन के रूप में लिखा जा सकता है। चेन-फॉक्स-लिंडन प्रमेय कहता है कि लिंडन शब्द एक गुणनखंड प्रस्तुत करते हैं। हॉल शब्द एक गुणनखंड प्रदान करते हैंI लिंडन शब्द हॉल शब्दों का विशेष मामला है।

मुक्त पतवार

S मुक्त मोनॉइड ए का एक उपसमुच्चय है, तो ए युक्त S के सभी मुक्त सबमोनॉयड्स का प्रतिच्छेदन अच्छी तरह से परिभाषित है क्योंकि ए स्वयं मुक्त है और इसमें S सम्मिलित हैI यह एक मुक्त मोनोइड है और इसे S का 'मुक्त पतवार' कहा जाता है। इस चौराहे का आधार एक कोड है।

'दोष प्रमेय'^[15]^[16]^[17] बताता है कि यदि X परिमित है और C, X के मुक्त पतवार का आधार है, तो या तो X एक कोड है और C = X, या C ≤ X - 1 है।

आकारिकी

एक मुक्त मोनोइड B से एक मोनोइड आकारिकी F^∗ मोनोइड एम के लिए जैसे कि f(xy) = f(x)⋅f(y) शब्दों के लिए x,y और f(ε) = ι एक मानचित्र है जहां ε और ι के पहचान तत्वों को दर्शाता हैI B^∗ और एम , क्रमशः। मोर्फिज्म F B के अक्षरों पर इसके मूल्यों द्वारा निर्धारित किया जाता है और इसके विपरीत B से एम तक एक मोर्फिज्म है। मुक्त मोनॉइड B से एक आकारिकी f^∗ एक मुक्त मोनोइड ए के लिए^∗ कुल है यदि A का प्रत्येक अक्षर F की छवि में किC शब्द में आता हैI चक्रीय^[18]या आवधिक^[19] अगर F की छवि {डब्लू } में समाहित है^∗ ए के कुछ शब्द डब्लू के लिए^∗. यदि लंबाई F (a) है तो आकारिकी F 'k-वर्दी' है A में सभी a के लिए स्थिर और k के बराबर है।^[20]^[21] ^[22]मुक्त मोनॉइड B से आकारिकी f^∗ मुक्त मोनोइड ए के लिए^∗ सरल है अगर 'B' की तुलना में कार्डिनैलिT का अक्षर 'C' है, तो आकारिकी F कारक C के माध्यम से अर्थात यह B से आकारिकी का संघटन हैI आकृतिवाद F एक 'कोड' है यदि F के अंतर्गत अक्षर B की एक कोड हैI प्रत्येक प्रारंभिक आकारिकी एक कोड है।^[23]

टेस्ट समुच्चय

L के लिए B का एक सबसमुच्चय^∗, L का परिमित उपसमुच्चय T, L के लिए एक परीक्षण समुच्चय है, यदि आकारिकी f और g पर B^∗ L पर सहमत हैं यदि और केवल यदि वे T पर सहमत हैं। 'Ehrenfeucht conjecture' यह है कि किC भी उपसमुच्चय L का एक परीक्षण समुच्चय है:^[24] यह साबित हो गया है^[25] स्वतंत्र रूप से अल्बर्ट और लॉरेंस द्वारा; मैकनॉटन; और गुबा। सबूत हिल्बर्ट के आधार प्रमेय पर भरोसा करते हैं।^[26]

मानचित्र और तह

एक मोनोइड मोर्फिज्म का कम्प्यूटेशनल अवतार एक मानचित्र (उच्च-क्रम फलन) है जिसके बाद एक तह (उच्च-क्रम फलन) होता है। इस समुच्चयिंग में, समुच्चय ए पर मुक्त मोनॉयड बाइनरी ऑपरेशन के रूप में संयोजन के साथ ए से तत्वों की सूची (कंप्यूटिंग) से मेल खाता है। मुक्त मोनोइड से किC भी अन्य मोनोइड (m, •) के लिए एक मोनोइड समरूपता एक ऐसा कार्य है जो F है

F (X₁...X_n) = F (X₁) • ... • F (X_n)
F () = ई

जहां ई एम पर पहचान है। कम्प्यूटेशनल रूप से, इस तरह के प्रत्येक समरूपता सूची के सभी तत्वों के लिए F लागू करने वाले मानचित्र (उच्च-क्रम फलन) ऑपरेशन से मेल खाती है, जिसके बाद एक फोल्ड (उच्च-क्रम फलन) ऑपरेशन होता है जो परिणाम का उपयोग करके जोड़ता है बाइनरी ऑपरेटर •। यह स्क्विगोल (जिसे गैर-सहयोगी बाइनरी ऑपरेटरों के लिए सामान्यीकृत किया जा सकता है) ने मानचित्रसंकुचन सॉफ़्टवेयर ढांचे को प्रेरित किया है।^{[citation needed]}

एंडोमोर्फिज्म

A का एक एंडोमोर्फिज्म^∗ A का आकार है^∗ खुद के लिए।^[27] पहचान मानचित्र I, A का एंडोमोर्फिज्म है^∗, और एंडोमोर्फिज्म कार्यों की संरचना के तहत एक मोनोइड बनाते हैं।

एक एंडोमोर्फिज्म f 'लम्B' है यदि कोई अक्षर ऐसा है कि f(a) = गैर-रिक्त स्ट्रिंग s के लिए है।^[28]

स्ट्रिंग प्रोजेक्शन

स्ट्रिंग ऑपरेशंस का संचालन स्ट्रिंग प्रोजेक्शन एक एंडोमोर्फिज्म है। अर्थात्, एक अक्षर a ∈ Σ और एक स्ट्रिंग s ∈ Σ दिया गया है^∗, स्ट्रिंग प्रोजेक्शन पी_a(S) S से ए की हर घटना को हटा देता है; इसे औपचारिक रूप से परिभाषित किया गया है

p_{a}(s)={\begin{cases}\varepsilon &{\text{if }}s=\varepsilon ,{\text{ the empty string}}\\p_{a}(t)&{\text{if }}s=ta\\p_{a}(t)b&{\text{if }}s=tb{\text{ and }}b\neq a.\end{cases}}

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

p_{a}\left(\Sigma ^{*}\right)=\left(\Sigma -a\right)^{*}

कहाँ $p_{a}\left(\Sigma ^{*}\right)$ समझा जाता है कि सभी परिमित तारों का मुक्त मोनॉइड होता है जिसमें अक्षर a नहीं होता है। प्रोजेक्शन स्ट्रिंग कॉन्सटेनेशन के संचालन के साथ शुरू होता है, ताकि $p_{a}(st)=p_{a}(s)p_{a}(t)$ सभी तार S और T के लिए है। स्ट्रिंग प्रोजेक्शन के कई सही व्युत्क्रम हैं, और इस प्रकार यह एक विभाजित एपिमोर्फिज्म है।

पहचान रूपवाद है $p_{\varepsilon },$ के रूप में परिभाषित $p_{\varepsilon }(s)=s$ सभी स्ट्रिंग्स के लिए, और $p_{\varepsilon }(\varepsilon )=\varepsilon$ .

स्ट्रिंग प्रोजेक्शन कम्यूटेटिव है, स्पष्ट रूप से

p_{a}(p_{b}(s))=p_{b}(p_{a}(s)).

परिमित रैंक के मुक्त मोनोइड्स के लिए, यह इस तथ्य से अनुसरण करता है कि एक ही रैंक के मुक्त मोनोइड्स आइसोमोर्फिक हैं, क्योंकि प्रक्षेपण मोनोइड के रैंक को एक से कम कर देता है।

स्ट्रिंग प्रोजेक्शन बेवकूफ है, जैसा

p_{a}(p_{a}(s))=p_{a}(s)

सभी तार S के लिए। इस प्रकार, प्रक्षेपण एक उदाCन, क्रमविनिमेय संक्रिया है, और इसलिए यह एक बंधी हुई अर्धजालिका या एक क्रमविनिमेय बैंड (Bजगणित) बनाता है।

मुफ्त क्रमविनिमेय मोनोइड

एक समुच्चय ए को देखते हुए, ए पर 'फ्री कम्यूटेटिव मोनोइड' ए से तैयार किए गए तत्वों के साथ सभी परिमित बहु समुच्चय का समुच्चय है, जिसमें मोनोइड ऑपरेशन बहु समुच्चय योग है और मोनोइड यूनिट रिक्त मल्Tसमुच्चय है।

उदाहरण के लिए, यदि A = {a, b, c}, A पर मुक्त कम्यूटेटिव मोनोइड के तत्व फॉर्म के हैं

{ε, a, ab, a²b, ab³c⁴, ...}.

अंकगणित के मौलिक प्रमेय में कहा गया है कि गुणन के तहत धनात्मक पूर्णांकों का मोनॉयड जनरेटर के अनंत समुच्चय पर एक मुक्त क्रमविनिमेय मोनॉइड अभाज्य संख्याएँ है।

फ्री कम्यूटेटिव अर्धसमूह मुक्त आंशिक रूप से विनिमेय मोनॉयड सबसमुच्चय है जिसमें रिक्त मल्Tसमुच्चय को छोड़कर 'ए' से खींचे गए सभी मल्Tसमुच्चय सम्मिलित हैं।

मुक्त आंशिक रूप से कम्यूटेटिव मोनॉयड, या 'ट्रेस मोनॉयड', एक सामान्यीकरण है जिसमें उदाहरण के रूप में फ्री और फ्री कम्यूटेटिव मोनॉयड दोनों सम्मिलित हैं। यह सामान्यीकरण साहचर्य और कंप्यूटर विज्ञान में समांतर कंप्यूटिंग के अध्ययन में अनुप्रयोगों को ढूंढता है।

यह भी देखें

स्ट्रिंग ऑपरेशंस

↑ Lothaire (1997, pp. 2–3), [1]
↑ Pytheas Fogg (2002, p. 2)
↑ ^3.0 ^3.1 ^3.2 Lothaire (1997, p. 5)
↑ 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.
↑ Sakarovitch (2009) p.382
↑ Borovik, Alexandre (2005-01-01). Groups, Languages, Algorithms: AMS-ASL Joint Special Session on Interactions Between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland (in English). American Mathematical Soc. ISBN 9780821836187.
↑ Sakarovitch (2009) p.27
↑ Pytheas Fogg (2002, p. 297)
↑ ^9.0 ^9.1 Sakarovitch (2009) p.26
↑ Aldo de Luca; Stefano Varricchio (1999). सेमीग्रुप्स और औपचारिक भाषाओं में परिमितता और नियमितता. Springer Berlin Heidelberg. p. 2. ISBN 978-3-642-64150-3.
↑ Berstel, Perrin & Reutenauer (2010, p. 61)
↑ Berstel, Perrin & Reutenauer (2010, p. 62)
↑ Berstel, Perrin & Reutenauer (2010, p. 58)
↑ Lothaire (1997, p. 15)
↑ Lothaire (1997, p. 6)
↑ Lothaire (2011, p. 204)
↑ Berstel, Perrin & Reutenauer (2010, p. 66)
↑ Lothaire (1997, p. 164)
↑ Salomaa (1981) p.77
↑ Lothaire (2005, p. 522)
↑ Berstel, Jean; Reutenauer, Christophe (2011). अनुप्रयोगों के साथ गैर-अनुवर्ती तर्कसंगत श्रृंखला. Encyclopedia of Mathematics and Its Applications. Vol. 137. Cambridge: Cambridge University Press. p. 103. ISBN 978-0-521-19022-0. Zbl 1250.68007.
↑ Allouche & Shallit (2003, p. 9)
↑ Salomaa (1981) p.72
↑ Lothaire (1997, pp. 178–179)
↑ Lothaire (2011, p. 451)
↑ Salomaa, A. (October 1985). "The Ehrenfeucht conjecture: A proof for language theorists". Bulletin of the EATCS (27): 71–82.
↑ Lothaire (2011, p. 450)
↑ Allouche & Shallit (2003) p.10

संदर्भ

Allouche, Jean-Paul; Shallit, Jeffrey (2003), Automatic Sequences: Theory, Applications, Generalizations, Cambridge University Press, ISBN 978-0-521-82332-6, Zbl 1086.11015
Berstel, Jean; Perrin, Dominique; Reutenauer, Christophe (2010), Codes and automata, Encyclopedia of Mathematics and its Applications, vol. 129, Cambridge: Cambridge University Press, ISBN 978-0-521-88831-8, Zbl 1187.94001
Lothaire, M. (1997), Combinatorics on words, Cambridge Mathematical Library, vol. 17, Contributors: Perrin, D.; Reutenauer, C.; Berstel, J.; Pin, J. E.; Pirillo, G.; Foata, D.; Sakarovitch, J.; Simon, I.; Schützenberger, M. P.; Choffrut, C.; Cori, R. Series editors: Lyndon, Roger; Rota, Gian-Carlo. Foreword by Roger Lyndon (2nd ed.), Cambridge University Press, doi:10.1017/CBO9780511566097, ISBN 0-521-59924-5, MR 1475463, Zbl 0874.20040
Lothaire, M. (2011), Algebraic combinatorics on words, Encyclopedia of Mathematics and Its Applications, vol. 90, With preface by Jean Berstel and Dominique Perrin (Reprint of the 2002 hardback ed.), Cambridge University Press, ISBN 978-0-521-18071-9, Zbl 1221.68183
Lothaire, M. (2005), Applied combinatorics on words, Encyclopedia of Mathematics and Its Applications, vol. 105, A collective work by Jean Berstel, Dominique Perrin, Maxime Crochemore, Eric Laporte, Mehryar Mohri, Nadia Pisanti, Marie-France Sagot, Gesine Reinert, Sophie Schbath, Michael Waterman, Philippe Jacquet, Wojciech Szpankowski, Dominique Poulalhon, Gilles Schaeffer, Roman Kolpakov, Gregory Koucherov, Jean-Paul Allouche and Valérie Berthé, Cambridge: Cambridge University Press, ISBN 0-521-84802-4, Zbl 1133.68067
Pytheas Fogg, N. (2002), Berthé, Valérie; Ferenczi, Sébastien; Mauduit, Christian; Siegel, A. (eds.), Substitutions in dynamics, arithmetics and combinatorics, Lecture Notes in Mathematics, vol. 1794, Berlin: Springer-Verlag, ISBN 3-540-44141-7, Zbl 1014.11015
Sakarovitch, Jacques (2009), Elements of automata theory, Translated from the French by Reuben Thomas, Cambridge: Cambridge University Press, ISBN 978-0-521-84425-3, Zbl 1188.68177
Salomaa, Arto (1981), Jewels of Formal Language Theory, Pitman Publishing, ISBN 0-273-08522-0, Zbl 0487.68064

बाहरी संबंध

Media related to मुक्त मोनोइड at Wikimedia Commons

[Lot23-1] Lothaire (1997, pp. 2–3), [1]

[PF2-2] Pytheas Fogg (2002, p. 2)

[Lot5-3] 3.0 ^3.1 ^3.2 Lothaire (1997, p. 5)

[4] 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.

[Sak382-5] Sakarovitch (2009) p.382

[6] Borovik, Alexandre (2005-01-01). Groups, Languages, Algorithms: AMS-ASL Joint Special Session on Interactions Between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland (in English). American Mathematical Soc. ISBN 9780821836187.

[Sak27-7] Sakarovitch (2009) p.27

[PF297-8] Pytheas Fogg (2002, p. 297)

[Sak26-9] 9.0 ^9.1 Sakarovitch (2009) p.26

[LucaVarricchio2011-10] Aldo de Luca; Stefano Varricchio (1999). सेमीग्रुप्स और औपचारिक भाषाओं में परिमितता और नियमितता. Springer Berlin Heidelberg. p. 2. ISBN 978-3-642-64150-3.

[BPR61-11] Berstel, Perrin & Reutenauer (2010, p. 61)

[BPR62-12] Berstel, Perrin & Reutenauer (2010, p. 62)

[BPR58-13] Berstel, Perrin & Reutenauer (2010, p. 58)

[Lot15-14] Lothaire (1997, p. 15)

[Lot6-15] Lothaire (1997, p. 6)

[LotII204-16] Lothaire (2011, p. 204)

[BPR66-17] Berstel, Perrin & Reutenauer (2010, p. 66)

[Lot164-18] Lothaire (1997, p. 164)

[Sal77-19] Salomaa (1981) p.77

[ApCoW522-20] Lothaire (2005, p. 522)

[BR103-21] Berstel, Jean; Reutenauer, Christophe (2011). अनुप्रयोगों के साथ गैर-अनुवर्ती तर्कसंगत श्रृंखला. Encyclopedia of Mathematics and Its Applications. Vol. 137. Cambridge: Cambridge University Press. p. 103. ISBN 978-0-521-19022-0. Zbl 1250.68007.

[AS9-22] Allouche & Shallit (2003, p. 9)

[Sal72-23] Salomaa (1981) p.72

[Lot1789-24] Lothaire (1997, pp. 178–179)

[LotII451-25] Lothaire (2011, p. 451)

[26] Salomaa, A. (October 1985). "The Ehrenfeucht conjecture: A proof for language theorists". Bulletin of the EATCS (27): 71–82.

[LotII450-27] Lothaire (2011, p. 450)

[AS10-28] Allouche & Shallit (2003) p.10

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

@@ Line 1: / Line 1: @@
-अमूर्त बीजगणित में [[सेट (गणित)|गणित]] पर मुक्त [[मोनोइड]] वह मोनॉइड है जिसके तत्व उस सेट से शून्य या अधिक तत्वों के सभी [[परिमित अनुक्रम]] (या तार) होते हैं, जिसमें मोनॉइड ऑपरेशन के रूप में [[स्ट्रिंग संयोजन]] और शून्य के अद्वितीय अनुक्रम के साथ होता है। तत्वों, अक्सर [[खाली स्ट्रिंग]] कहा जाता है और [[पहचान तत्व]] के रूप में ε या λ द्वारा निरूपित किया जाता है। एक सेट ''ए'' पर मुक्त मोनॉयड को आमतौर पर ''ए'' के रूप में दर्शाया जाता है<sup>∗</sup>. ''ए'' पर मुक्त अर्धसमूह ''ए'' का उपसमूह है<sup>∗</sup> जिसमें खाली स्ट्रिंग को छोड़कर सभी तत्व शामिल हैं। इसे आमतौर पर ए द्वारा निरूपित किया जाता है<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>
+अमूर्त बीजगणित में, एक समुच्चय पर '''मुक्त मोनोइड''' वह मोनोइड होता है जिसके तत्व उस समुच्चय से शून्य या अधिक तत्वों के सभी परिमित अनुक्रम (या स्ट्रिंग) होते हैं, स्ट्रिंग संयोजन के साथ मोनोइड ऑपरेशन के रूप में और शून्य तत्वों के अद्वितीय अनुक्रम के साथ, प्रायः रिक्त स्ट्रिंग कहा जाता है और पहचान तत्व के रूप में ε या λ द्वारा दर्शाया जाता है।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>
-अधिक आम तौर पर, एक अमूर्त मोनोइड (या सेमीग्रुप) एस को 'मुक्त' के रूप में वर्णित किया जाता है यदि यह किसी सेट पर मुक्त मोनोइड (या सेमीग्रुप) के लिए [[समरूप]] है।<ref name=Lot5>{{harvtxt|Lothaire|1997|p=5}}</ref>
-जैसा कि नाम से पता चलता है, मुक्त मोनोइड्स और सेमीग्रुप्स वे वस्तुएं हैं जो मोनोइड्स और सेमीग्रुप्स की संबंधित [[श्रेणी (गणित)]] में [[मुक्त वस्तु]]ओं को परिभाषित करने वाली सामान्य [[सार्वभौमिक संपत्ति]] को संतुष्ट करती हैं। यह इस प्रकार है कि प्रत्येक मोनोइड (या सेमीग्रुप) एक मुक्त मोनोइड (या सेमीग्रुप) की एक होमोमोर्फिक छवि के रूप में उत्पन्न होता है। मुक्त अर्धसमूहों की छवियों के रूप में अर्धसमूहों के अध्ययन को संयोजी अर्धसमूह सिद्धांत कहा जाता है।
-नि: शुल्क मोनोइड्स (और सामान्य रूप से मोनोइड्स) परिभाषा के अनुसार सहयोगी हैं; अर्थात्, वे समूहीकरण या संचालन के क्रम को दिखाने के लिए बिना किसी कोष्ठक के लिखे गए हैं। गैर-सहयोगी समतुल्य मुक्त मैग्मा है।
+जैसा कि नाम से पता चलता है, मुक्त मोनोइड्स और अर्धसमूह वे वस्तुएं हैं जो मोनोइड्स और अर्धसमूह की संबंधित [[श्रेणी (गणित)]] में [[मुक्त वस्तु]]ओं को परिभाषित करने वाली सामान्य [[सार्वभौमिक संपत्ति]] को संतुष्ट करती हैं। यह इस प्रकार है कि प्रत्येक मोनोइड मुक्त मोनोइड की एक होमोमोर्फिक छवि के रूप में उत्पन्न होता है। मुक्त अर्धसमूहों की छवियों के रूप में अर्धसमूहों के अध्ययन को संयोजी अर्धसमूह सिद्धांत कहा जाता है।
+नि: शुल्क मोनोइड्स परिभाषा के अनुसार सहयोगी हैं; अर्थात् वे समूहीकरण या संचालन के क्रम को दिखाने के लिए बिना किC कोष्ठक के लिखे गए हैं। गैर-सहयोगी समतुल्य मुक्त मैग्मा है।
 == उदाहरण ==
 === प्राकृतिक संख्या ===
-मोनोइड (एन<sub>0</sub>,+) [[प्राकृतिक संख्या]]ओं (शून्य सहित) के अतिरिक्त एक सिंगलटन मुक्त जनरेटर पर एक मुक्त मोनोइड है, इस मामले में प्राकृतिक संख्या 1।
+मोनोइड ('''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''
-औपचारिक परिभाषा के अनुसार, इस मोनॉइड में 1 , 1+1 , 1+1+1 , 1+1+1+1 जैसे सभी अनुक्रम शामिल हैं, और इसी तरह, खाली अनुक्रम सहित।
-ऐसे प्रत्येक अनुक्रम को उसके मूल्यांकन परिणाम से मैप करना
-<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>.
-यह समरूपता + के साथ संगत है, अर्थात किन्हीं भी दो अनुक्रमों ''s'' और ''t'' के लिए, यदि ''s'' को किसी संख्या ''m'' और ''t' पर मैप किया गया है (अर्थात् मूल्यांकन किया गया है) '' से ''n'', फिर उनका संयोजन ''s''+''t'' को ''m''+''n'' के योग में मैप किया जाता है।
 === क्लेन स्टार ===
-[[औपचारिक भाषा]] सिद्धांत में, आमतौर पर प्रतीकों ए (कभी-कभी वर्णमाला (औपचारिक भाषा) कहा जाता है) का एक सीमित सेट माना जाता है। प्रतीकों के एक परिमित अनुक्रम को ए पर एक शब्द कहा जाता है, और मुक्त मोनोइड ए<sup>∗</sup> को A का क्लीन तारा कहा जाता है।
+[[औपचारिक भाषा]] सिद्धांत में, सामान्य तौर पर प्रतीक A का एक C समुच्चय माना जाता है। प्रतीकों के एक परिमित अनुक्रम को A पर एक शब्द कहा जाता है, और मुक्त मोनोइड ए<sup>∗</sup> को ए कहा जाता है। इस प्रकार, औपचारिक भाषाओं के अमूर्त अध्ययन को अंतिम रूप से उत्पन्न मुक्त मोनोइड्स के सबसमुच्चय के अध्ययन के रूप में माना जा सकता है।
-इस प्रकार, औपचारिक भाषाओं के अमूर्त अध्ययन को अंतिम रूप से उत्पन्न मुक्त मोनोइड्स के सबसेट के अध्ययन के रूप में माना जा सकता है।
-उदाहरण के लिए, एक अक्षर A = {a, b, c} मानते हुए, इसका [[ क्लेन स्टार ]] A<sup>∗</sup> में a, b और c के सभी संयोजन शामिल हैं:
+उदाहरण के लिए, अक्षर ''A'' = {''a'', ''b'', ''c''}, का [[ क्लेन स्टार ]] ''A''<sup>∗</sup> में ''a'', ''b'' और C के सभी संयोजन सम्मिलित हैंI
-:{ε, ए, एबी, बीए, सीएए,{{not a typo|cccbabbc}}'', ...}.
-यदि A कोई सेट है, तो शब्द की लंबाई A पर कार्य करती है<sup>∗</sup> A से अद्वितीय [[मोनोइड समरूपता]] है<sup>∗</sup> से (एन<sub>0</sub>,+) जो ''A'' के प्रत्येक तत्व को 1 से मैप करता है। एक मुक्त मोनॉयड इस प्रकार एक ग्रेडेड मोनॉयड है।<ref name=Sak382>Sakarovitch (2009) p.382</ref> (एक वर्गीकृत मोनोइड <math>M</math> एक मोनोइड है जिसे लिखा जा सकता है <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>\cup</math> क्योंकि, सामान्य तौर पर, सेट यूनियन्स मोनोइड्स नहीं हो सकते हैं, और इसलिए एक अलग प्रतीक का उपयोग किया जाता है। परिपाटी के अनुसार, ग्रेडेशन हमेशा के साथ लिखे जाते हैं <math>\oplus</math> प्रतीक।)
+यदि A कोई समुच्चय है, तो शब्द की लंबाई ए पर कार्य करती है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ेस को क्रमबद्ध करें।
 == संयुग्मित शब्द ==
-[[File:Example of strings equidivisibility.gif|thumb|समविभाज्यता के पहले मामले के लिए उदाहरण: m= UNCLE , n= ANLY , p= UN , q= सफाई से , और s= CLE]]हम A में शब्दों की एक जोड़ी को परिभाषित करते हैं<sup>∗</sup> रूप uv और vu 'संयुग्म' के रूप में: एक शब्द के संयुग्मन इस प्रकार इसके वृत्ताकार बदलाव हैं।<ref name=Sak27>Sakarovitch (2009) p.27</ref> इस अर्थ में दो शब्द संयुग्मित हैं यदि वे ए द्वारा उत्पन्न [[मुक्त समूह]] के तत्वों के रूप में [[संयुग्मन (समूह सिद्धांत)]] हैं।<ref name=PF297>{{harvtxt|Pytheas Fogg|2002|p=297}}</ref>
+[[File:Example of strings equidivisibility.gif|thumb|समविभाज्यता के पहले मामले के लिए उदाहरण: m= UNCLE , n= ANLY , p= UN , q= सफाई से , और s= CLE]]A में शब्दों की एक जोड़ी को परिभाषित करते हैं<sup>∗</sup> रूप uv और vu 'संयुग्म' के रूप में: एक शब्द के संयुग्मन इस प्रकार इसके वृत्ताकार बदलाव हैं।<ref name=Sak27>Sakarovitch (2009) p.27</ref> इस अर्थ में दो शब्द संयुग्मित हैं यदि वे ए द्वारा उत्पन्न [[मुक्त समूह]] के तत्वों के रूप में [[संयुग्मन (समूह सिद्धांत)]] हैं।<ref name=PF297>{{harvtxt|Pytheas Fogg|2002|p=297}}</ref>
 === समानता ===
 एक मुक्त मोनोइड समविभाज्य है: यदि समीकरण ''mn'' = ''pq'' धारण करता है, तो एक ''s'' मौजूद है जैसे कि ''m'' = ''ps'', ''sn' ' = ''q'' (उदाहरण छवि देखें) या ''ms'' = ''p'', ''n'' = ''sq''.<ref name=Sak26>Sakarovitch (2009) p.26</ref> इस परिणाम को लेवी की लेम्मा के रूप में भी जाना जाता है।<ref name="LucaVarricchio2011">{{cite book|author1=Aldo de Luca|author2=Stefano Varricchio|title=सेमीग्रुप्स और औपचारिक भाषाओं में परिमितता और नियमितता|year=1999|publisher=Springer Berlin Heidelberg|isbn=978-3-642-64150-3|page=2}}</ref>
-एक मोनोइड मुक्त है अगर और केवल अगर यह वर्गीकृत और समविभाज्य है।<ref name=Sak26/>
+एक मोनोइड मुक्त है अगर और केवल अगर यह वर्गीकृत और समविभाज्य है।<ref name="Sak26" />
-== नि: शुल्क जनरेटर और रैंक ==
-सेट ए के सदस्यों को ए के लिए 'फ्री जेनरेटर' कहा जाता है<sup>∗</sup> और ए<sup>+</sup>. सुपरस्क्रिप्ट * को आमतौर पर क्लेन स्टार समझा जाता है। अधिक आम तौर पर, यदि एस एक अमूर्त मुक्त मोनॉयड (सेमीग्रुप) है, तो तत्वों का एक सेट जो एक आइसोमोर्फिज्म के तहत एकल-अक्षर वाले शब्दों के सेट पर एक सेमीग्रुप ए के लिए मैप करता है।<sup>+</sup> (मोनॉयड ए<sup>∗</sup>) को S के लिए मुफ्त जनरेटर का सेट कहा जाता है।
-प्रत्येक मुक्त सेमीग्रुप (या मोनॉयड) S में मुफ्त जनरेटर का एक सेट होता है, जिसकी [[प्रमुखता]] को S की रैंक कहा जाता है।
-दो मुक्त मोनोइड्स या सेमीग्रुप आइसोमोर्फिक हैं यदि और केवल यदि उनके पास समान रैंक है। वास्तव में, एक मुफ्त सेमीग्रुप या मोनॉयड एस के लिए जनरेटर के प्रत्येक सेट में मुफ्त जनरेटर होते हैं (मोनॉयड में जनरेटर की परिभाषा देखें) क्योंकि एक मुफ्त जनरेटर की शब्द लंबाई 1 होती है और इसलिए इसे केवल स्वयं ही उत्पन्न किया जा सकता है। यह इस प्रकार है कि एक मुक्त सेमिग्रुप या मोनॉयड निश्चित रूप से उत्पन्न होता है यदि और केवल अगर इसकी सीमित रैंक है।
+== रैंक ==
+समुच्चय A के सदस्यों को ए के लिए 'फ्री जेनरेटर' कहा जाता है और A<sup>+</sup>. सुपरस्क्रिप्ट * को क्लेन स्टार समझा जाता है। सामान्य तौर पर यदि S अमूर्त मुक्त मोनॉयड अर्धसमूह है तो तत्वों का समुच्चय जो आइसोमोर्फिज्म के तहत एकल-अक्षर वाले शब्दों के समुच्चय पर अर्धसमूह ए के लिए मैप करता है।
-ए का एक [[ submonoid ]] एन<sup>∗</sup> स्थिर होता है यदि ''u'', ''v'', ''ux'', ''xv'' ''N'' में एक साथ ''N'' में ''x'' का अर्थ लगाते हैं .<ref name=BPR61>{{harvtxt|Berstel|Perrin|Reutenauer|2010|p=61}}</ref> ए का एक सबमोनॉयड<sup>∗</sup> स्थिर है अगर और केवल अगर यह मुफ़्त है।<ref name=BPR62>{{harvtxt|Berstel|Perrin|Reutenauer|2010|p=62}}</ref>
+प्रत्येक मुक्त अर्धसमूह या मोनॉयड S में जनरेटर का समुच्चय होता है जिसकी [[प्रमुखता]] को S की रैंक कहा जाता है।
-उदाहरण के लिए, [[ अंश ]]्स के सेट {0, 1} को ए के रूप में उपयोग करते हुए, 1 एस की सम संख्या वाली सभी बिट स्ट्रिंग्स का सेट एन एक स्थिर सबमोनॉइड है क्योंकि यदि यू में 1 एस की एक सम संख्या है, और ux भी है, तब x में 1 s की एक सम संख्या भी होनी चाहिए। जबकि एन को एकल बिट्स के किसी भी सेट द्वारा स्वतंत्र रूप से उत्पन्न नहीं किया जा सकता है, यह बिट स्ट्रिंग्स {0, 11, 101, 1001, 10001, ...} के सेट द्वारा स्वतंत्र रूप से उत्पन्न किया जा सकता है - फॉर्म 10 के स्ट्रिंग्स का सेट<sup>n</sup>1 किसी पूर्णांक n के लिए।
+दो मुक्त मोनोइड्स या अर्धसमूह आइसोमोर्फिक हैं यदि और केवल यदि उनके पास समान रैंक है। वास्तव में अर्धसमूह या मोनॉयड S के लिए जनरेटर के प्रत्येक समुच्चय में जनरेटर होते हैंI जनरेटर की शब्द
+लंबाई 1 होती है और इसलिए इसे केवल स्वयं ही उत्पन्न किया जा सकता है। यह इस प्रकार है कि एक मुक्त सेमिग्रुप या मोनॉयड निश्चित रूप से उत्पन्न होता है यदि और केवल अगर इसकी Cमित रैंक है।
+A का उपमोनोइड  N<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} को A के रूप में उपयोग करते हुए, 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>
+मुक्त मोनॉइड पी के लिए मुफ्त जनरेटर का एक समुच्चय 'P' के लिए 'आधार' के रूप में संदर्भित किया जाता है: शब्दों का एक समुच्चय 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''--->. A में हर उपसर्ग<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 लिंडन शब्द हॉल शब्दों का विशेष मामला है।
-एक मुक्त मोनॉइड का गुणनखंड संपत्ति के साथ शब्दों के सबसेट का एक क्रम है कि मुक्त मोनॉइड में प्रत्येक शब्द को उपसमुच्चय से खींचे गए तत्वों के संयोजन के रूप में लिखा जा सकता है। चेन-फॉक्स-लिंडन प्रमेय कहता है कि [[लिंडन शब्द]] एक गुणनखंड प्रस्तुत करते हैं। अधिक आम तौर पर, [[हॉल शब्द]] एक गुणनखंड प्रदान करते हैं; लिंडन शब्द हॉल शब्दों का एक विशेष मामला है।
 == मुक्त पतवार ==
-एक मुक्त मोनोइड ए के मुक्त सबमोनोइड्स का चौराहा<sup>∗</sup> फिर से निःशुल्क है।<ref name=Lot6>{{harvtxt|Lothaire|1997|p=6}}</ref><ref name=LotII204>{{harvtxt|Lothaire|2011|p=204}}</ref> यदि S एक मुक्त मोनॉइड A* का एक उपसमुच्चय है, तो A* युक्त S के सभी मुक्त सबमोनॉयड्स का प्रतिच्छेदन अच्छी तरह से परिभाषित है, क्योंकि A* स्वयं मुक्त है, और इसमें S शामिल है; यह एक मुक्त मोनोइड है और इसे एस का 'मुक्त पतवार' कहा जाता है। इस चौराहे का आधार एक कोड है।
+S मुक्त मोनॉइड ए का एक उपसमुच्चय है, तो ए युक्त S के सभी मुक्त सबमोनॉयड्स का प्रतिच्छेदन अच्छी तरह से परिभाषित है क्योंकि ए स्वयं मुक्त है और इसमें S सम्मिलित हैI यह एक मुक्त मोनोइड है और इसे S का 'मुक्त पतवार' कहा जाता है। इस चौराहे का आधार एक कोड है।
-'दोष प्रमेय'<ref name=Lot6/><ref name=LotII204/><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(ε) = ι, जहां ε और ι के पहचान तत्वों को दर्शाता है बी<sup>∗</sup> और M, क्रमशः। मोर्फिज्म एफ बी के अक्षरों पर इसके मूल्यों द्वारा निर्धारित किया जाता है और इसके विपरीत बी से एम तक कोई भी नक्शा एक मोर्फिज्म तक फैला हुआ है। एक रूपवाद 'न मिटाने वाला' है<ref name=Lot7>{{harvtxt|Lothaire|1997|p=7}}</ref> या निरंतर<ref name=Sak25>{{harvtxt|Sakarovitch|2009|p=25}}</ref> यदि B का कोई अक्षर ι और 'तुच्छ' के लिए मानचित्र नहीं है यदि B का प्रत्येक अक्षर ι के लिए मैप करता है।<ref name=Lot164>{{harvtxt|Lothaire|1997|p=164}}</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>
-मुक्त मोनॉइड B से एक आकारिकी f<sup>∗</sup> एक मुक्त मोनोइड ए के लिए<sup>∗</sup> कुल है यदि ''A'' का प्रत्येक अक्षर ''f'' की छवि में किसी शब्द में आता है; चक्रीय<ref name=Lot164/>या आवधिक<ref name=Sal77>Salomaa (1981) p.77</ref> अगर f की छवि {w} में समाहित है<sup>∗</sup> A के कुछ शब्द w के लिए<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> एक 1-समान morphism कड़ाई से वर्णानुक्रमिक है<ref name=Sak25/>या एक कोडिंग।<ref name=AS9>{{harvtxt|Allouche|Shallit|2003|p=9}}</ref>
-मुक्त मोनॉइड B से एक आकारिकी f<sup>∗</sup> एक मुक्त मोनोइड ए के लिए<sup>∗</sup> सरल है अगर वहाँ 'बी' की तुलना में कार्डिनैलिटी का अक्षर 'सी' है, तो आकारिकी ''एफ'' कारक ''सी'' के माध्यम से<sup>∗</sup>, अर्थात यह B से आकारिकी का संघटन है<sup>∗</sup> से C<sup>∗</sup> और उस से A तक एक आकारिकी<sup>∗</sup>; अन्यथा च 'प्राथमिक' है। आकृतिवाद f को एक 'कोड' कहा जाता है यदि f के अंतर्गत अक्षर B की छवि एक कोड है: प्रत्येक प्रारंभिक आकारिकी एक कोड है।<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>
+L के लिए 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 97: / Line 89: @@
 :<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 109: / Line 101: @@
 :<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समुच्चय सम्मिलित हैं।
-मुक्त आंशिक रूप से कम्यूटेटिव मोनॉयड, या 'ट्रेस मोनॉयड', एक सामान्यीकरण है जिसमें उदाहरण के रूप में फ्री और फ्री कम्यूटेटिव मोनॉयड दोनों शामिल हैं। यह सामान्यीकरण [[साहचर्य]] और [[कंप्यूटर विज्ञान]] में समांतर कंप्यूटिंग के अध्ययन में अनुप्रयोगों को ढूंढता है।
+मुक्त आंशिक रूप से कम्यूटेटिव मोनॉयड, या 'ट्रेस मोनॉयड', एक सामान्यीकरण है जिसमें उदाहरण के रूप में फ्री और फ्री कम्यूटेटिव मोनॉयड दोनों सम्मिलित हैं। यह सामान्यीकरण [[साहचर्य]] और [[कंप्यूटर विज्ञान]] में समांतर कंप्यूटिंग के अध्ययन में अनुप्रयोगों को ढूंढता है।
 == यह भी देखें ==
@@ Line 143: / Line 135: @@
 ==बाहरी संबंध==
 *{{Commons category-inline}}
-[[Category: अर्धसमूह सिद्धांत]] [[Category: औपचारिक भाषाएँ]] [[Category: मुक्त बीजगणितीय संरचनाएं]] [[Category: शब्दों पर कॉम्बिनेटरिक्स]]
-[[Category: Machine Translated Page]]
+[[Category:All articles with unsourced statements]]
+[[Category:Articles with unsourced statements from February 2015]]
+[[Category:CS1 English-language sources (en)]]
 [[Category:Created On 01/05/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:अर्धसमूह सिद्धांत]]
+[[Category:औपचारिक भाषाएँ]]
+[[Category:मुक्त बीजगणितीय संरचनाएं]]
+[[Category:शब्दों पर कॉम्बिनेटरिक्स]]

Anonymous

Search

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

Namespaces

More

Page actions

Latest revision as of 09:41, 22 August 2023

Contents

उदाहरण

प्राकृतिक संख्या

क्लेन स्टार

संयुग्मित शब्द

समानता

रैंक

कोड

गुणनखंड

मुक्त पतवार

आकारिकी

टेस्ट समुच्चय

मानचित्र और तह

एंडोमोर्फिज्म

स्ट्रिंग प्रोजेक्शन

मुफ्त क्रमविनिमेय मोनोइड

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Latest revision as of 09:41, 22 August 2023

उदाहरण

प्राकृतिक संख्या

क्लेन स्टार

संयुग्मित शब्द

समानता

रैंक

कोड

गुणनखंड

मुक्त पतवार

आकारिकी

टेस्ट समुच्चय

मानचित्र और तह

एंडोमोर्फिज्म

स्ट्रिंग प्रोजेक्शन

मुफ्त क्रमविनिमेय मोनोइड

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories