क्लेन स्टार: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(8 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Unary operation on string sets}}
{{Short description|Unary operation on string sets}}
[[गणितीय तर्क]] और [[कंप्यूटर विज्ञान]] में, क्लेन स्टार (या क्लेन संचालक या क्लेन क्लोजर) या यूनरी संचालन है, या तो [[स्ट्रिंग (कंप्यूटर विज्ञान)|श्रृंखला (कंप्यूटर विज्ञान)]] के [[सेट (गणित)|गणित)]] पर या प्रतीकों या वर्णों के समूह पर होता है। गणित में,इसे सामान्यतौर पर स्वतंत्र एकाभ निर्माण के रूप में जाना जाता है। समूह पर क्लेन स्टार का अनुप्रयोग <math>V</math> के रूप में <math>V^*</math> लिखा गया है| यह [[नियमित अभिव्यक्ति]]यों के लिए व्यापक रूप से उपयोग किया जाता है, जो संदर्भ है जिसमें [[स्टीफन क्लेन]] द्वारा इसे कुछ [[ऑटोमेटा सिद्धांत]] की विशेषता के लिए प्रस्तुत किया गया था, जहां इसका अर्थ शून्य या अत्यधिक पुनरावृति है।
[[गणितीय तर्क|गणितीय साक्ष्य]] और [[कंप्यूटर विज्ञान]] में, '''क्लेन स्टार''' (या क्लेन संचालक या क्लेन क्लोजर) या यूनरी संचालन है, या तो [[स्ट्रिंग (कंप्यूटर विज्ञान)|श्रृंखला (कंप्यूटर विज्ञान)]] के [[सेट (गणित)|गणित)]] पर या प्रतीकों या वर्णों के समूह पर होता है। गणित में,इसे सामान्यतौर पर स्वतंत्र एकाभ निर्माण के रूप में जाना जाता है। समूह पर क्लेन स्टार का अनुप्रयोग <math>V</math> के रूप में <math>V^*</math> लिखा गया है| यह [[नियमित अभिव्यक्ति]]यों के लिए व्यापक रूप से उपयोग किया जाता है, जो संदर्भ है जिसमें [[स्टीफन क्लेन]] द्वारा इसे कुछ [[ऑटोमेटा सिद्धांत]] की विशेषता के लिए प्रस्तुत किया गया था, जहां इसका अर्थ शून्य या अत्यधिक पुनरावृति है।


# यदि <math>V</math> श्रंखला का समुच्चय है, फिर <math>V^*</math>के सबसे छोटे [[सुपरसेट|अधिसमुच्चय]] के रूप में परिभाषित किया गया है <math>V</math> जिसमें [[खाली स्ट्रिंग|रिक्त श्रृंखला]] है <math>\varepsilon</math> और संयोजन के अंतर्गत [[समापन (गणित)]] है।
# यदि <math>V</math> श्रंखला का समुच्चय है, फिर <math>V^*</math>के सबसे छोटे [[सुपरसेट|अधिसमुच्चय]] के रूप में परिभाषित किया गया है <math>V</math> जिसमें [[खाली स्ट्रिंग|रिक्त श्रृंखला]] है <math>\varepsilon</math> और संयोजन के अंतर्गत [[समापन (गणित)]] है।
Line 16: Line 16:
:<math>V^{i+1}=\{wv: w\in V^{i} \text{ and } v\in V \}</math> प्रत्येक के लिए <math>i>0</math>.
:<math>V^{i+1}=\{wv: w\in V^{i} \text{ and } v\in V \}</math> प्रत्येक के लिए <math>i>0</math>.


अगर <math>V</math> एक औपचारिक भाषा है, तो <math>V^i</math>, <math>i</math>-सेट की शक्ति <math>V</math>, संयोजन के लिए एक आशुलिपि है # समुच्चय के तार के समुच्चय का संयोजन <math>V</math> खुद के साथ <math>i</math> बार। वह है,<math>V^i</math>सभी स्ट्रिंग्स (कंप्यूटर साइंस) के सेट के रूप में समझा जा सकता है जिसे के संयोजन के रूप में दर्शाया जा सकता है <math>i</math> में तार <math>V</math>.
यदि <math>V</math> एक औपचारिक भाषा है, तो <math>V^i</math>, <math>i</math>-समुच्चय <math>V</math> की शक्ति, संयोजन के लिए एक कड़ी है | वह, <math>V^i</math>सभी श्रंखला (कंप्यूटर साइंस) के समुच्चय के रूप में समझा जा सकता है जिसे <math>i</math> में श्रंखला <math>V</math> के संयोजन के रूप में दर्शाया जा सकता है |


क्लेन स्टार ऑन की परिभाषा <math>V</math> है<ref>{{cite book |last1=Fletcher |first1=Peter |last2=Hoyle |first2=Hughes |last3=Patty |first3=C. Wayne |date=1991 |title=असतत गणित की नींव|publisher=Brooks/Cole |isbn=0534923739 |page=656 |quote=The '''Kleene closure''' ''L''<sup>*</sup> of ''L'' is defined to be <math display="inline">\bigcup_{i=0}^\infty L^i</math>.}}</ref>
<math>V</math> पर क्लेन स्टार की परिभाषा है |<ref>{{cite book |last1=Fletcher |first1=Peter |last2=Hoyle |first2=Hughes |last3=Patty |first3=C. Wayne |date=1991 |title=असतत गणित की नींव|publisher=Brooks/Cole |isbn=0534923739 |page=656 |quote=The '''Kleene closure''' ''L''<sup>*</sup> of ''L'' is defined to be <math display="inline">\bigcup_{i=0}^\infty L^i</math>.}}</ref>
:<math> V^*=\bigcup_{i \ge 0 }V^i = V^0 \cup V^1 \cup V^2 \cup V^3 \cup V^4 \cup \cdots.</math>
:<math> V^*=\bigcup_{i \ge 0 }V^i = V^0 \cup V^1 \cup V^2 \cup V^3 \cup V^4 \cup \cdots.</math>
इसका मतलब यह है कि क्लेन स्टार ऑपरेटर एक बेवकूफ [[यूनरी ऑपरेटर]] है: <math>(V^{*})^{*}=V^{*}</math> किसी भी सेट के लिए <math>V</math> तार या वर्णों की, जैसा <math>(V^{*})^{i}=V^{*}</math> हरएक के लिए <math>i\geq 1</math>.
इसका अर्थ यह है कि क्लेन स्टार संचालक एक वर्गसम [[यूनरी ऑपरेटर]] है: <math>(V^{*})^{*}=V^{*}</math> किसी भी समूह <math>V</math> के लिए श्रृंखला या वर्णों की, जैसा <math>(V^{*})^{i}=V^{*}</math> सभी <math>i\geq 1</math> के लिए है।


== क्लीन प्लस ==
== क्लीन प्लस ==
कुछ औपचारिक भाषा अध्ययनों में, (उदाहरण के लिए [[भाषाओं का सार परिवार]]) क्लेन स्टार ऑपरेशन पर भिन्नता जिसे क्लेन प्लस कहा जाता है, का उपयोग किया जाता है। क्लेन प्लस इसे छोड़ देता है <math>V^{0}</math> उपरोक्त संघ में अवधि। दूसरे शब्दों में, क्लेन प्लस ऑन <math>V</math> है
कुछ औपचारिक भाषा अध्ययनों में, (उदाहरण के लिए [[भाषाओं का सार परिवार|भाषाओं का सार समूह]]) क्लेन स्टार संचालन पर भिन्नता जिसे क्लेन प्लस कहा जाता है, का उपयोग किया जाता है। उपरोक्त समूह में क्लेन प्लस <math>V^{0}</math> छोड़ देता है | दूसरे शब्दों में, क्लेन प्लस <math>V</math> है


:<math>V^+=\bigcup_{i \geq 1} V^i = V^1 \cup V^2 \cup V^3 \cup \cdots.</math>
:<math>V^+=\bigcup_{i \geq 1} V^i = V^1 \cup V^2 \cup V^3 \cup \cdots.</math>
Line 32: Line 32:


== उदाहरण ==
== उदाहरण ==
स्ट्रिंग्स के सेट पर लागू क्लेन स्टार का उदाहरण:
श्रंखला के समूह पर क्रियान्वित क्लेन स्टार का उदाहरण:
: {एबी, सी}<sup>*</sup> = { ε, एबी, सी, एबीबी, एबीसी, कैब, सीसी, अबाबाब, एबीबीसी, एबीसीबी, एबीसीसी, कैबाब, कैबब, सीसीएबी, सीसीसी, ...}।
: {ab, c}<sup>*</sup> = { ε, ab, c, abab, abc, cab, cc, ababab, ababc, abcab, abcc, cabab, cabc, ccab, ccc, ...}।


क्लेन प्लस का उदाहरण वर्णों के सेट पर लागू होता है:
क्लेन प्लस का उदाहरण वर्णों के समूहों पर क्रियान्वित होता है:
: {, बी, सी}<sup>+</sup> = {, बी, सी, एए, एबी, एसी, बीए, बीबी, बीसी, सीए, सीबी, सीसी, एएए, एएबी, ...}।
: {a, b, c}<sup>+</sup> = {a, b, c, aa, ab, ac, ba, bb, bc, ca, cb, cc, aaa, aab, ...}।
क्लेन स्टार समान वर्ण सेट पर लागू होता है:
क्लेन स्टार समान वर्ण समूह पर क्रियान्वित होता है:
: {, बी, सी}<sup>*</sup> = { ε, , बी, सी, एए, एबी, एसी, बीए, बीबी, बीसी, सीए, सीबी, सीसी, आआ, एएबी, ...}।
: {a, b, c}<sup>*</sup> = { ε, a, b, c, aa, ab, ac, ba, bb, bc, ca, cb, cc, aaa, aab, ...}।


खाली सेट पर लागू क्लेन स्टार का उदाहरण:
रिक्त समूह पर क्रियान्वित क्लेन स्टार का उदाहरण:
:∅<sup>*</सुप> = {ε}.
:∅<sup>* = {ε}.


खाली सेट पर लागू क्लेन प्लस का उदाहरण:
रिक्त समूह पर क्रियान्वित क्लेन प्लस का उदाहरण:
:∅<sup>+</sup> = ∅ ∅<sup>*</sup> = { } = ∅,
:∅<sup>+</sup> = ∅ ∅<sup>*</sup> = { } = ∅,
जहां संयोजन एक साहचर्य और गैर-अनुवर्ती उत्पाद है।
जहां संयोजन साहचर्य और अनुवर्ती उत्पाद है।


खाली स्ट्रिंग वाले सिंगलटन सेट पर लागू क्लेन प्लस और क्लेन स्टार का उदाहरण:
रिक्त श्रृंखला वाले एकल समुच्चय पर क्रियान्वित क्लेन प्लस और क्लेन स्टार का उदाहरण:
:अगर <math>V=\{\varepsilon\}</math>, तब भी <math>V^{i}=\{\varepsilon\}</math> प्रत्येक के लिए <math>i</math>, इस तरह <math>V^{*}=V^{+}=\{\varepsilon\}</math>.
:यदि <math>V=\{\varepsilon\}</math>, तब भी <math>V^{i}=\{\varepsilon\}</math> प्रत्येक के लिए <math>i</math>, इस प्रकार <math>V^{*}=V^{+}=\{\varepsilon\}</math> है।


== सामान्यीकरण ==
== सामान्यीकरण ==


स्ट्रिंग्स बाइनरी ऑपरेशन के रूप में संयोजन के साथ एक [[मोनोइड]] बनाते हैं और ε पहचान तत्व। क्लेन स्टार को किसी भी मोनोइड के लिए परिभाषित किया गया है, न कि केवल स्ट्रिंग्स के लिए।
श्रंखला बाइनरी संचालन के रूप में संयोजन के साथ एक [[मोनोइड]] और ε तत्समक अवयव बनाते हैं। क्लेन स्टार न कि सिर्फ श्रंखला, अपितु किसी भी मोनोइड के लिए परिभाषित किया गया है, अत्यधिक सही प्रकार से, (M, ⋅) और S ⊆ M को मोनोइड होने देता है। फिर S<sup>*</sup> M युक्त S का सबसे छोटा उपमोनाइड है; अर्थात S<sup>*</sup> में M, समुच्चय S का तटस्थ तत्व सम्मिलित है, और यदि x,y ∈ S<sup>*</sup>, तो x⋅y ∈ S<sup>* ऐसा होता है |
अधिक सटीक रूप से, (M, ⋅) को एक मोनोइड होने दें, और S ⊆ M. फिर S<sup>*</sup> M युक्त S का सबसे छोटा उपमोनाइड है; यानी एस<sup>*</sup> में M, समुच्चय S का तटस्थ तत्व शामिल है, और ऐसा है कि यदि x,y ∈ S<sup>*</sup>, तो x⋅y ∈ S<sup>*</सुप>.


इसके अलावा, क्लेन स्टार को [[बीजगणितीय संरचना]] में *-ऑपरेशन (और संघ) को शामिल करके [[पूर्ण स्टार सेमिरिंग]] की धारणा से सामान्यीकृत किया जाता है।<ref name="droste">{{cite book |last1=Droste |first1=M. |last2=Kuich |first2=W. |date=2009 |title=भारित ऑटोमेटा की पुस्तिका|url=https://archive.org/details/handbookweighted00dros |url-access=limited |chapter=Chapter 1: Semirings and Formal Power Series |series=Monographs in Theoretical Computer Science |publisher=Springer |doi=10.1007/978-3-642-01492-5_1 |isbn=978-3-642-01491-8 |page=[https://archive.org/details/handbookweighted00dros/page/n23 9]}}</ref>
इसके अतिरिक्त, क्लेन स्टार को [[बीजगणितीय संरचना]] में *- संचालन (और संघ) को सम्मिलित करके [[पूर्ण स्टार सेमिरिंग]] की धारणा से सामान्यीकृत किया जाता है।<ref name="droste">{{cite book |last1=Droste |first1=M. |last2=Kuich |first2=W. |date=2009 |title=भारित ऑटोमेटा की पुस्तिका|url=https://archive.org/details/handbookweighted00dros |url-access=limited |chapter=Chapter 1: Semirings and Formal Power Series |series=Monographs in Theoretical Computer Science |publisher=Springer |doi=10.1007/978-3-642-01492-5_1 |isbn=978-3-642-01491-8 |page=[https://archive.org/details/handbookweighted00dros/page/n23 9]}}</ref>




== यह भी देखें ==
== यह भी देखें ==
* [[वाइल्डकार्ड चरित्र]]
* [[वाइल्डकार्ड चरित्र|वाइल्डकार्ड करैक्टर]]  
* [[ग्लोब (प्रोग्रामिंग)]]
* [[ग्लोब (प्रोग्रामिंग)]]


Line 68: Line 67:
==अग्रिम पठन==
==अग्रिम पठन==
*{{cite book |last1=Hopcroft |first1=John E. |author-link1=John Hopcroft |last2=Ullman |first2=Jeffrey D. |author-link2=Jeffrey Ullman |date=1979 |title=Introduction to Automata Theory, Languages, and Computation |title-link=Introduction to Automata Theory, Languages, and Computation |edition=1st |publisher=[[Addison-Wesley]]}}
*{{cite book |last1=Hopcroft |first1=John E. |author-link1=John Hopcroft |last2=Ullman |first2=Jeffrey D. |author-link2=Jeffrey Ullman |date=1979 |title=Introduction to Automata Theory, Languages, and Computation |title-link=Introduction to Automata Theory, Languages, and Computation |edition=1st |publisher=[[Addison-Wesley]]}}
[[Category: औपचारिक भाषाएँ]] [[Category: व्याकरण]] [[Category: प्राकृतिक भाषा प्रसंस्करण]]


[[Category: Machine Translated Page]]
[[Category:Created On 01/05/2023]]
[[Category:Created On 01/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:औपचारिक भाषाएँ]]
[[Category:प्राकृतिक भाषा प्रसंस्करण]]
[[Category:व्याकरण]]

Latest revision as of 17:35, 29 August 2023

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

  1. यदि श्रंखला का समुच्चय है, फिर के सबसे छोटे अधिसमुच्चय के रूप में परिभाषित किया गया है जिसमें रिक्त श्रृंखला है और संयोजन के अंतर्गत समापन (गणित) है।
  2. यदि प्रतीकों या वर्णों का समूह है, तो रिक्त श्रंखला सहित , में प्रतीकों पर सभी श्रृंखला का समुच्चय है |

समूह रिक्त श्रंखला और सभी परिमित-लंबाई वाले श्रंखला के समूह के रूप में भी वर्णित किया जा सकता है, जो अपने ढंग से तत्वों को जोड़कर उत्पन्न किया जा सकता है, एक ही तत्व को कई बार उपयोग करने की अनुमति देता है। यदि या तो रिक्त श्रंखला ∅ या एकल समुच्चय है, तब है; यदि तब कोई अन्य परिमित समुच्चय या गणनीय रूप से अपरिमित समुच्चय है, गणनीय अपरिमित समुच्चय है।[1] परिणामस्वरूप, प्रत्येक औपचारिक भाषा एक परिमित या गणनीय रूप से अनंत वर्णमाला पर गणनीय है, क्योंकि यह गणनीय अपरिमित समुच्चय का उपसमुच्चय है |

संचालकों का उपयोग प्रजनक व्याकरण के पुनर्लेखन नियमों में किया जाता है।

परिभाषा और संकेतन

दिए गए समूह को परिभाषित करना है।

(सिर्फ रिक्त श्रृंखला वाली भाषा),

और पुनरावर्ती रूप से समुच्चय को परिभाषित करें

प्रत्येक के लिए .

यदि एक औपचारिक भाषा है, तो , -समुच्चय की शक्ति, संयोजन के लिए एक कड़ी है | वह, सभी श्रंखला (कंप्यूटर साइंस) के समुच्चय के रूप में समझा जा सकता है जिसे में श्रंखला के संयोजन के रूप में दर्शाया जा सकता है |

पर क्लेन स्टार की परिभाषा है |[2]

इसका अर्थ यह है कि क्लेन स्टार संचालक एक वर्गसम यूनरी ऑपरेटर है: किसी भी समूह के लिए श्रृंखला या वर्णों की, जैसा सभी के लिए है।

क्लीन प्लस

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

या

[3]


उदाहरण

श्रंखला के समूह पर क्रियान्वित क्लेन स्टार का उदाहरण:

{ab, c}* = { ε, ab, c, abab, abc, cab, cc, ababab, ababc, abcab, abcc, cabab, cabc, ccab, ccc, ...}।

क्लेन प्लस का उदाहरण वर्णों के समूहों पर क्रियान्वित होता है:

{a, b, c}+ = {a, b, c, aa, ab, ac, ba, bb, bc, ca, cb, cc, aaa, aab, ...}।

क्लेन स्टार समान वर्ण समूह पर क्रियान्वित होता है:

{a, b, c}* = { ε, a, b, c, aa, ab, ac, ba, bb, bc, ca, cb, cc, aaa, aab, ...}।

रिक्त समूह पर क्रियान्वित क्लेन स्टार का उदाहरण:

* = {ε}.

रिक्त समूह पर क्रियान्वित क्लेन प्लस का उदाहरण:

+ = ∅ ∅* = { } = ∅,

जहां संयोजन साहचर्य और अनुवर्ती उत्पाद है।

रिक्त श्रृंखला वाले एकल समुच्चय पर क्रियान्वित क्लेन प्लस और क्लेन स्टार का उदाहरण:

यदि , तब भी प्रत्येक के लिए , इस प्रकार है।

सामान्यीकरण

श्रंखला बाइनरी संचालन के रूप में संयोजन के साथ एक मोनोइड और ε तत्समक अवयव बनाते हैं। क्लेन स्टार न कि सिर्फ श्रंखला, अपितु किसी भी मोनोइड के लिए परिभाषित किया गया है, अत्यधिक सही प्रकार से, (M, ⋅) और S ⊆ M को मोनोइड होने देता है। फिर S* M युक्त S का सबसे छोटा उपमोनाइड है; अर्थात S* में M, समुच्चय S का तटस्थ तत्व सम्मिलित है, और यदि x,y ∈ S*, तो x⋅y ∈ S* ऐसा होता है |

इसके अतिरिक्त, क्लेन स्टार को बीजगणितीय संरचना में *- संचालन (और संघ) को सम्मिलित करके पूर्ण स्टार सेमिरिंग की धारणा से सामान्यीकृत किया जाता है।[4]


यह भी देखें

संदर्भ

  1. Nayuki Minase (10 May 2011). "गणनीय सेट और क्लेन स्टार". Project Nayuki. Retrieved 11 January 2012.
  2. Fletcher, Peter; Hoyle, Hughes; Patty, C. Wayne (1991). असतत गणित की नींव. Brooks/Cole. p. 656. ISBN 0534923739. The Kleene closure L* of L is defined to be .
  3. This equation holds because every element of V+ must either be composed from one element of V and finitely many non-empty terms in V or is just an element of V (where V itself is retrieved by taking V concatenated with ε).
  4. Droste, M.; Kuich, W. (2009). "Chapter 1: Semirings and Formal Power Series". भारित ऑटोमेटा की पुस्तिका. Monographs in Theoretical Computer Science. Springer. p. 9. doi:10.1007/978-3-642-01492-5_1. ISBN 978-3-642-01491-8.


अग्रिम पठन