स्ट्रिंग ऑपरेशन: Difference between revisions
No edit summary |
|||
Line 1: | Line 1: | ||
[[कंप्यूटर विज्ञान]] में, [[औपचारिक भाषा सिद्धांत]] के क्षेत्र में, विभिन्न प्रकार के [[स्ट्रिंग फ़ंक्शंस|रज्जु फलनो]] का लगातार उपयोग किया जाता है, हालाँकि, उपयोग किया गया संकेतन [[कंप्यूटर प्रोग्रामिंग]] के लिए उपयोग किए जाने वाले संकेतन से भिन्न है, और सैद्धांतिक क्षेत्र में आमतौर पर उपयोग किए जाने वाले कुछ फलन प्रोग्रामिंग करते समय शायद ही कभी उपयोग किए जाते हैं। यह आलेख इनमें से कुछ मूल शब्दों को परिभाषित करता है। | [[कंप्यूटर विज्ञान]] में, [[औपचारिक भाषा सिद्धांत]] के क्षेत्र में, विभिन्न प्रकार के [[स्ट्रिंग फ़ंक्शंस|रज्जु फलनो]] का लगातार उपयोग किया जाता है, हालाँकि, उपयोग किया गया संकेतन [[कंप्यूटर प्रोग्रामिंग]] के लिए उपयोग किए जाने वाले संकेतन से भिन्न है, और सैद्धांतिक क्षेत्र में आमतौर पर उपयोग किए जाने वाले कुछ फलन प्रोग्रामिंग करते समय शायद ही कभी उपयोग किए जाते हैं। यह आलेख इनमें से कुछ मूल शब्दों को परिभाषित करता है। | ||
== | ==रज्जु और भाषाएँ== | ||
एक रज्जु वर्णों का एक सीमित अनुक्रम है। | एक रज्जु वर्णों का एक सीमित अनुक्रम है। [[रिक्त रज्जु]] को <math>\varepsilon</math> के द्वारा निरूपित किया जाता है। दो रज्जु <math>s</math> और <math>t</math> के संश्रृंखलन को <math>s \cdot t</math> या <math>s t</math> द्वारा दर्शाया जाता है। रिक्त रज्जु के साथ संश्रृंखलन करने से कोई अंतर नहीं पड़ता, <math>s \cdot \varepsilon = s = \varepsilon \cdot s</math>। रज्जु का संश्रृंखलन साहचर्य है, <math>s \cdot (t \cdot u) = (s \cdot t) \cdot u</math>। | ||
[[ | |||
दो | |||
उदाहरण के लिए, <math>(\langle b \rangle \cdot \langle l \rangle) \cdot (\varepsilon \cdot \langle ah \rangle) = \langle bl \rangle \cdot \langle ah \rangle = \langle blah \rangle</math> | उदाहरण के लिए, <math>(\langle b \rangle \cdot \langle l \rangle) \cdot (\varepsilon \cdot \langle ah \rangle) = \langle bl \rangle \cdot \langle ah \rangle = \langle blah \rangle</math>। | ||
एक [[भाषा (कंप्यूटर विज्ञान)]] | एक [[भाषा (कंप्यूटर विज्ञान)|भाषा]] रज्जु का एक सीमित या अनंत समुच्चय है। सम्मिलन, सर्वनिष्ठ आदि जैसे सामान्य समुच्चय संक्रिया के अलावा, संश्रृंखलन को भाषाओं पर लागू किया जा सकता है, यदि <math>S</math> और <math>T</math> दोनों भाषाएँ हैं, तो उनका संश्रृंखलन है <math>S \cdot T</math> किसी भी रज्जु के संश्रृंखलन के समुच्चय के रूप में परिभाषित किया गया है <math>S</math> और किसी भी रज्जु से <math>T</math>, औपचारिक रूप से <math>S \cdot T = \{ s \cdot t \mid s \in S \land t \in T \}</math>. | ||
पुनः, सम्मिलन बिंदु <math>\cdot</math> संक्षिप्तता के लिए अक्सर छोड़ दिया जाता है। | पुनः, सम्मिलन बिंदु <math>\cdot</math> संक्षिप्तता के लिए अक्सर छोड़ दिया जाता है। | ||
भाषा <math>\{\varepsilon\}</math> केवल | भाषा <math>\{\varepsilon\}</math> केवल रिक्त रज्जु को खाली भाषा से अलग करना है <math>\{\}</math>. | ||
किसी भी भाषा को पहली भाषा के साथ जोड़ने से कोई परिवर्तन नहीं होता है: <math>S \cdot \{\varepsilon\} = S = \{\varepsilon\} \cdot S</math>, | किसी भी भाषा को पहली भाषा के साथ जोड़ने से कोई परिवर्तन नहीं होता है: <math>S \cdot \{\varepsilon\} = S = \{\varepsilon\} \cdot S</math>, | ||
जबकि उत्तरार्द्ध के साथ | जबकि उत्तरार्द्ध के साथ संश्रृंखलन करने पर हमेशा खाली भाषा उत्पन्न होती है: <math>S \cdot \{\} = \{\} = \{\} \cdot S</math>. | ||
भाषाओं का | भाषाओं का संश्रृंखलन साहचर्य है: <math>S \cdot (T \cdot U) = (S \cdot T) \cdot U</math>. | ||
उदाहरण के लिए, संक्षिप्त करना <math>D = \{ \langle 0 \rangle, \langle 1 \rangle, \langle 2 \rangle, \langle 3 \rangle, \langle 4 \rangle, \langle 5 \rangle, \langle 6 \rangle, \langle 7 \rangle, \langle 8 \rangle, \langle 9 \rangle \}</math>, सभी तीन अंकों वाली दशमलव संख्याओं का समुच्चय इस प्रकार प्राप्त होता है <math>D \cdot D \cdot D</math>. मनमानी लंबाई की सभी दशमलव संख्याओं का | उदाहरण के लिए, संक्षिप्त करना <math>D = \{ \langle 0 \rangle, \langle 1 \rangle, \langle 2 \rangle, \langle 3 \rangle, \langle 4 \rangle, \langle 5 \rangle, \langle 6 \rangle, \langle 7 \rangle, \langle 8 \rangle, \langle 9 \rangle \}</math>, सभी तीन अंकों वाली दशमलव संख्याओं का समुच्चय इस प्रकार प्राप्त होता है <math>D \cdot D \cdot D</math>. मनमानी लंबाई की सभी दशमलव संख्याओं का समुच्चय एक अनंत भाषा के लिए एक उदाहरण है। | ||
==एक रज्जु की वर्णमाला== | ==एक रज्जु की वर्णमाला== | ||
Line 29: | Line 23: | ||
<math>\operatorname{Alph}(S) = \bigcup_{s \in S} \operatorname{Alph}(s)</math>. | <math>\operatorname{Alph}(S) = \bigcup_{s \in S} \operatorname{Alph}(s)</math>. | ||
उदाहरण के लिए, | उदाहरण के लिए, समुच्चय <math>\{\langle a \rangle,\langle c \rangle,\langle o \rangle\}</math> रज्जु का वर्णमाला है <math>\langle cacao \rangle</math>, | ||
और # | और #रज्जु_और_भाषाएँ <math>D</math> #रज्जु_एंड_भाषाेज भाषा की वर्णमाला है <math>D \cdot D \cdot D</math> साथ ही सभी दशमलव संख्याओं की भाषा भी। | ||
==रज्जु प्रतिस्थापन== | ==रज्जु प्रतिस्थापन== | ||
मान लीजिए L एक भाषा (कंप्यूटर विज्ञान) है, और मान लीजिए कि Σ इसकी वर्णमाला है। एक 'रज्जु प्रतिस्थापन' या बस एक 'प्रतिस्थापन' एक मैपिंग एफ है जो Σ में वर्णों को भाषाओं में मैप करता है (संभवतः एक अलग वर्णमाला में)। इस प्रकार, उदाहरण के लिए, एक अक्षर a ∈ Σ दिया गया है, तो किसी के पास f(a)=L है<sub>''a''</sub> जहां एल<sub>''a''</sub> ⊆ Δक्लीन स्टार|<sup>*</sup> कुछ भाषा है जिसकी वर्णमाला Δ है। इस मैपिंग को | मान लीजिए L एक भाषा (कंप्यूटर विज्ञान) है, और मान लीजिए कि Σ इसकी वर्णमाला है। एक 'रज्जु प्रतिस्थापन' या बस एक 'प्रतिस्थापन' एक मैपिंग एफ है जो Σ में वर्णों को भाषाओं में मैप करता है (संभवतः एक अलग वर्णमाला में)। इस प्रकार, उदाहरण के लिए, एक अक्षर a ∈ Σ दिया गया है, तो किसी के पास f(a)=L है<sub>''a''</sub> जहां एल<sub>''a''</sub> ⊆ Δक्लीन स्टार|<sup>*</sup> कुछ भाषा है जिसकी वर्णमाला Δ है। इस मैपिंग को रज्जु तक बढ़ाया जा सकता है | ||
:f(ε)=ε | :f(ε)=ε | ||
रिक्त रज्जु ε के लिए, और | |||
:f(sa)=f(s)f(a) | :f(sa)=f(s)f(a) | ||
Line 65: | Line 59: | ||
| ... || || similar for other chars | | ... || || similar for other chars | ||
|} | |} | ||
एफ के विस्तार के लिए<sub>uc</sub> | एफ के विस्तार के लिए<sub>uc</sub> रज्जु के लिए, हमारे पास उदा. | ||
* एफ<sub>uc</sub>(‹सड़क›) = {‹S›} ⋅ {‹T›} ⋅ {‹R›} ⋅ {‹A›} ⋅ {‹SS›} ⋅ {‹E›} = {‹सड़क›}, | * एफ<sub>uc</sub>(‹सड़क›) = {‹S›} ⋅ {‹T›} ⋅ {‹R›} ⋅ {‹A›} ⋅ {‹SS›} ⋅ {‹E›} = {‹सड़क›}, | ||
* एफ<sub>uc</sub>(‹u2›) = {‹U›} ⋅ {ε} = {‹U›}, और | * एफ<sub>uc</sub>(‹u2›) = {‹U›} ⋅ {ε} = {‹U›}, और | ||
Line 74: | Line 68: | ||
==रज्जु समरूपता== | ==रज्जु समरूपता== | ||
एक रज्जु होमोमोर्फिज्म (अक्सर औपचारिक भाषा सिद्धांत में औपचारिक भाषा सिद्धांत में होमोमोर्फिज्म#होमोमोर्फिज्म और ई-मुक्त होमोमोर्फिज्म के रूप में संदर्भित) एक रज्जु प्रतिस्थापन है जैसे कि प्रत्येक वर्ण को एक रज्जु द्वारा प्रतिस्थापित किया जाता है। वह है, <math>f(a)=s</math>, कहाँ <math>s</math> प्रत्येक वर्ण के लिए एक रज्जु है <math>a</math>.<ref group="note" name="singleton sets">Strictly formally, a homomorphism yields a language consisting of just one string, i.e. <math>f(a) = {s}</math>.</ref><ref>Hopcroft, Ullman (1979), Sect.3.2, p.60-61</ref> | एक रज्जु होमोमोर्फिज्म (अक्सर औपचारिक भाषा सिद्धांत में औपचारिक भाषा सिद्धांत में होमोमोर्फिज्म#होमोमोर्फिज्म और ई-मुक्त होमोमोर्फिज्म के रूप में संदर्भित) एक रज्जु प्रतिस्थापन है जैसे कि प्रत्येक वर्ण को एक रज्जु द्वारा प्रतिस्थापित किया जाता है। वह है, <math>f(a)=s</math>, कहाँ <math>s</math> प्रत्येक वर्ण के लिए एक रज्जु है <math>a</math>.<ref group="note" name="singleton sets">Strictly formally, a homomorphism yields a language consisting of just one string, i.e. <math>f(a) = {s}</math>.</ref><ref>Hopcroft, Ullman (1979), Sect.3.2, p.60-61</ref> | ||
रज्जु होमोमोर्फिज्म मुक्त मोनोइड [[मुफ़्त मोनॉयड]] आकारिकी हैं, जो | रज्जु होमोमोर्फिज्म मुक्त मोनोइड [[मुफ़्त मोनॉयड]] आकारिकी हैं, जो रिक्त रज्जु और [[स्ट्रिंग संयोजन|रज्जु संश्रृंखलन]] के [[बाइनरी ऑपरेशन|बाइनरी संक्रिया]] को संरक्षित करते हैं। एक भाषा दी गई <math>L</math>, समुच्चय <math>f(L)</math> की समरूपी छवि कहलाती है <math>L</math>. एक रज्जु की व्युत्क्रम समरूपी छवि <math>s</math> परिभाषित किया जाता है | ||
<math>f^{-1}(s) = \{ w | f(w) = s \}</math> | <math>f^{-1}(s) = \{ w | f(w) = s \}</math> | ||
Line 111: | Line 105: | ||
\pi_\Sigma(t)a & \mbox{if } s=ta \mbox{ and } a \in \Sigma | \pi_\Sigma(t)a & \mbox{if } s=ta \mbox{ and } a \in \Sigma | ||
\end{cases}</math> | \end{cases}</math> | ||
यहाँ <math>\varepsilon</math> | यहाँ <math>\varepsilon</math> रिक्त रज्जु को दर्शाता है. एक रज्जु का प्रक्षेपण मूलतः [[संबंधपरक बीजगणित में प्रक्षेपण]] के समान है। | ||
किसी भाषा के प्रक्षेपण के लिए रज्जु प्रक्षेपण को बढ़ावा दिया जा सकता है। एक [[औपचारिक भाषा]] ''एल'' दी गई है, इसका प्रक्षेपण द्वारा दिया गया है | किसी भाषा के प्रक्षेपण के लिए रज्जु प्रक्षेपण को बढ़ावा दिया जा सकता है। एक [[औपचारिक भाषा|औपचारिक]] भाषा ''एल'' दी गई है, इसका प्रक्षेपण द्वारा दिया गया है | ||
:<math>\pi_\Sigma (L)=\{\pi_\Sigma(s)\ \vert\ s\in L \}</math>{{citation needed|date=August 2017}} | :<math>\pi_\Sigma (L)=\{\pi_\Sigma(s)\ \vert\ s\in L \}</math>{{citation needed|date=August 2017}} | ||
== दायां और बायां भागफल == | == दायां और बायां भागफल == | ||
एक रज्जु ''s'' से ''a'' वर्ण का दायां भागफल, दाहिनी ओर से रज्जु ''s'' में वर्ण ''a'' का कटाव है। इसे इस प्रकार दर्शाया गया है <math>s/a</math>. यदि रज्जु में दाहिनी ओर a नहीं है, तो परिणाम | एक रज्जु ''s'' से ''a'' वर्ण का दायां भागफल, दाहिनी ओर से रज्जु ''s'' में वर्ण ''a'' का कटाव है। इसे इस प्रकार दर्शाया गया है <math>s/a</math>. यदि रज्जु में दाहिनी ओर a नहीं है, तो परिणाम रिक्त रज्जु है। इस प्रकार: | ||
<!---This definition deviates from Hopcroft.Ullman.1979, as remarked below. I guess the former doesn't have widespread use, if it has a source at all.---> | <!---This definition deviates from Hopcroft.Ullman.1979, as remarked below. I guess the former doesn't have widespread use, if it has a source at all.---> | ||
: <math>(sa)/ b = \begin{cases} | : <math>(sa)/ b = \begin{cases} | ||
Line 124: | Line 118: | ||
\varepsilon & \mbox{if } a \ne b | \varepsilon & \mbox{if } a \ne b | ||
\end{cases}</math> | \end{cases}</math> | ||
रिक्त रज्जु का भागफल लिया जा सकता है: | |||
: <math>\varepsilon / a = \varepsilon</math> | : <math>\varepsilon / a = \varepsilon</math> | ||
इसी प्रकार, एक उपसमुच्चय दिया गया है <math>S\subset M</math> एक मोनॉयड का <math>M</math>, कोई भागफल उपसमुच्चय को इस प्रकार परिभाषित कर सकता है | इसी प्रकार, एक उपसमुच्चय दिया गया है <math>S\subset M</math> एक मोनॉयड का <math>M</math>, कोई भागफल उपसमुच्चय को इस प्रकार परिभाषित कर सकता है | ||
Line 152: | Line 146: | ||
(s\div b)a & \mbox{if } a \ne b | (s\div b)a & \mbox{if } a \ne b | ||
\end{cases}</math> | \end{cases}</math> | ||
रिक्त रज्जु हमेशा रद्द करने योग्य होती है: | |||
:<math>\varepsilon \div a = \varepsilon</math> | :<math>\varepsilon \div a = \varepsilon</math> | ||
Line 160: | Line 154: | ||
==उपसर्ग== | ==उपसर्ग== | ||
एक रज्जु के उपसर्ग किसी दी गई भाषा के संबंध में, एक रज्जु के सभी उपसर्गों (कंप्यूटर विज्ञान) का | एक रज्जु के उपसर्ग किसी दी गई भाषा के संबंध में, एक रज्जु के सभी उपसर्गों (कंप्यूटर विज्ञान) का समुच्चय है: | ||
:<math>\operatorname{Pref}_L(s) = \{t\ \vert\ s=tu \mbox { for } t,u\in \operatorname{Alph}(L)^*\}</math> | :<math>\operatorname{Pref}_L(s) = \{t\ \vert\ s=tu \mbox { for } t,u\in \operatorname{Alph}(L)^*\}</math> | ||
Line 180: | Line 174: | ||
* [[प्रोग्रामिंग भाषाओं की तुलना (स्ट्रिंग फ़ंक्शंस)|प्रोग्रामिंग भाषाओं की तुलना (रज्जु फलनो)]] | * [[प्रोग्रामिंग भाषाओं की तुलना (स्ट्रिंग फ़ंक्शंस)|प्रोग्रामिंग भाषाओं की तुलना (रज्जु फलनो)]] | ||
* लेवी की लेम्मा | * लेवी की लेम्मा | ||
* रज्जु (कंप्यूटर विज्ञान)#औपचारिक सिद्धांत|रज्जु (कंप्यूटर विज्ञान) - | * रज्जु (कंप्यूटर विज्ञान)#औपचारिक सिद्धांत|रज्जु (कंप्यूटर विज्ञान) - रज्जु पर अधिक बुनियादी संचालन की परिभाषा और कार्यान्वयन | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== |
Revision as of 09:20, 2 August 2023
कंप्यूटर विज्ञान में, औपचारिक भाषा सिद्धांत के क्षेत्र में, विभिन्न प्रकार के रज्जु फलनो का लगातार उपयोग किया जाता है, हालाँकि, उपयोग किया गया संकेतन कंप्यूटर प्रोग्रामिंग के लिए उपयोग किए जाने वाले संकेतन से भिन्न है, और सैद्धांतिक क्षेत्र में आमतौर पर उपयोग किए जाने वाले कुछ फलन प्रोग्रामिंग करते समय शायद ही कभी उपयोग किए जाते हैं। यह आलेख इनमें से कुछ मूल शब्दों को परिभाषित करता है।
रज्जु और भाषाएँ
एक रज्जु वर्णों का एक सीमित अनुक्रम है। रिक्त रज्जु को के द्वारा निरूपित किया जाता है। दो रज्जु और के संश्रृंखलन को या द्वारा दर्शाया जाता है। रिक्त रज्जु के साथ संश्रृंखलन करने से कोई अंतर नहीं पड़ता, । रज्जु का संश्रृंखलन साहचर्य है, ।
उदाहरण के लिए, ।
एक भाषा रज्जु का एक सीमित या अनंत समुच्चय है। सम्मिलन, सर्वनिष्ठ आदि जैसे सामान्य समुच्चय संक्रिया के अलावा, संश्रृंखलन को भाषाओं पर लागू किया जा सकता है, यदि और दोनों भाषाएँ हैं, तो उनका संश्रृंखलन है किसी भी रज्जु के संश्रृंखलन के समुच्चय के रूप में परिभाषित किया गया है और किसी भी रज्जु से , औपचारिक रूप से . पुनः, सम्मिलन बिंदु संक्षिप्तता के लिए अक्सर छोड़ दिया जाता है।
भाषा केवल रिक्त रज्जु को खाली भाषा से अलग करना है . किसी भी भाषा को पहली भाषा के साथ जोड़ने से कोई परिवर्तन नहीं होता है: , जबकि उत्तरार्द्ध के साथ संश्रृंखलन करने पर हमेशा खाली भाषा उत्पन्न होती है: . भाषाओं का संश्रृंखलन साहचर्य है: .
उदाहरण के लिए, संक्षिप्त करना , सभी तीन अंकों वाली दशमलव संख्याओं का समुच्चय इस प्रकार प्राप्त होता है . मनमानी लंबाई की सभी दशमलव संख्याओं का समुच्चय एक अनंत भाषा के लिए एक उदाहरण है।
एक रज्जु की वर्णमाला
एक रज्जु की वर्णमाला उन सभी वर्णों का समूह है जो एक विशेष रज्जु में होते हैं। यदि s एक रज्जु है, तो इसका वर्णमाला (कंप्यूटर विज्ञान) द्वारा दर्शाया जाता है
किसी भाषा की वर्णमाला किसी भी रज्जु में आने वाले सभी वर्णों का समूह है , औपचारिक रूप से: .
उदाहरण के लिए, समुच्चय रज्जु का वर्णमाला है , और #रज्जु_और_भाषाएँ #रज्जु_एंड_भाषाेज भाषा की वर्णमाला है साथ ही सभी दशमलव संख्याओं की भाषा भी।
रज्जु प्रतिस्थापन
मान लीजिए L एक भाषा (कंप्यूटर विज्ञान) है, और मान लीजिए कि Σ इसकी वर्णमाला है। एक 'रज्जु प्रतिस्थापन' या बस एक 'प्रतिस्थापन' एक मैपिंग एफ है जो Σ में वर्णों को भाषाओं में मैप करता है (संभवतः एक अलग वर्णमाला में)। इस प्रकार, उदाहरण के लिए, एक अक्षर a ∈ Σ दिया गया है, तो किसी के पास f(a)=L हैa जहां एलa ⊆ Δक्लीन स्टार|* कुछ भाषा है जिसकी वर्णमाला Δ है। इस मैपिंग को रज्जु तक बढ़ाया जा सकता है
- f(ε)=ε
रिक्त रज्जु ε के लिए, और
- f(sa)=f(s)f(a)
रज्जु s ∈ L और वर्ण a ∈ Σ के लिए। रज्जु प्रतिस्थापन को संपूर्ण भाषाओं तक बढ़ाया जा सकता है [1]
नियमित भाषाएँ रज्जु प्रतिस्थापन के अंतर्गत बंद हैं। अर्थात्, यदि किसी नियमित भाषा की वर्णमाला में प्रत्येक वर्ण को किसी अन्य नियमित भाषा द्वारा प्रतिस्थापित किया जाता है, तो परिणाम अभी भी एक नियमित भाषा ही है।[2] इसी प्रकार, संदर्भ-मुक्त भाषाएँ रज्जु प्रतिस्थापन के अंतर्गत बंद हो जाती हैं।[3][note 1] एक सरल उदाहरण रूपांतरण एफ हैuc(.) को अपरकेस में, जिसे परिभाषित किया जा सकता है जैसे निम्नलिखित नुसार:
character | mapped to language | remark |
---|---|---|
x | fuc(x) | |
‹a› | { ‹A› } | map lowercase char to corresponding uppercase char |
‹A› | { ‹A› } | map uppercase char to itself |
‹ß› | { ‹SS› } | no uppercase char available, map to two-char string |
‹0› | { ε } | map digit to empty string |
‹!› | { } | forbid punctuation, map to empty language |
... | similar for other chars |
एफ के विस्तार के लिएuc रज्जु के लिए, हमारे पास उदा.
- एफuc(‹सड़क›) = {‹S›} ⋅ {‹T›} ⋅ {‹R›} ⋅ {‹A›} ⋅ {‹SS›} ⋅ {‹E›} = {‹सड़क›},
- एफuc(‹u2›) = {‹U›} ⋅ {ε} = {‹U›}, और
- एफuc(‹जाओ!›) = {‹जी›} ⋅ {‹ओ›} ⋅ {} = {}.
एफ के विस्तार के लिएuc भाषाओं के लिए, हमारे पास उदा.
- एफuc({ ‹सड़क›, ‹u2›, ‹जाओ!› }) = { ‹सड़क› } ∪ { ‹U› } ∪ { } = { ‹सड़क›, ‹U› }.
रज्जु समरूपता
एक रज्जु होमोमोर्फिज्म (अक्सर औपचारिक भाषा सिद्धांत में औपचारिक भाषा सिद्धांत में होमोमोर्फिज्म#होमोमोर्फिज्म और ई-मुक्त होमोमोर्फिज्म के रूप में संदर्भित) एक रज्जु प्रतिस्थापन है जैसे कि प्रत्येक वर्ण को एक रज्जु द्वारा प्रतिस्थापित किया जाता है। वह है, , कहाँ प्रत्येक वर्ण के लिए एक रज्जु है .[note 2][4] रज्जु होमोमोर्फिज्म मुक्त मोनोइड मुफ़्त मोनॉयड आकारिकी हैं, जो रिक्त रज्जु और रज्जु संश्रृंखलन के बाइनरी संक्रिया को संरक्षित करते हैं। एक भाषा दी गई , समुच्चय की समरूपी छवि कहलाती है . एक रज्जु की व्युत्क्रम समरूपी छवि परिभाषित किया जाता है
जबकि किसी भाषा की व्युत्क्रम समरूपी छवि परिभाषित किया जाता है
सामान्य रूप में, , जबकि एक के पास है
और
किसी भी भाषा के लिए .
नियमित भाषाओं का वर्ग समरूपता और व्युत्क्रम समरूपता के अंतर्गत बंद है।[5] इसी प्रकार, संदर्भ-मुक्त भाषाएँ समरूपता के अंतर्गत बंद हैं[note 3] और व्युत्क्रम समरूपताएँ।[6] एक रज्जु समरूपता को ε-मुक्त (या ई-मुक्त) कहा जाता है यदि वर्णमाला में सभी के लिए . सरल एकल-अक्षर प्रतिस्थापन सिफर (ε-मुक्त) रज्जु समरूपता के उदाहरण हैं।
एक उदाहरण रज्जु समरूपता जीuc #स्ट्रिंग_प्रतिस्थापन प्रतिस्थापन के समान परिभाषित करके भी प्राप्त किया जा सकता है: जीuc(‹ए›) = ‹ए›, ..., जीuc(‹0›) = ε, लेकिन g देनाuc विराम चिन्हों पर अपरिभाषित रहें। व्युत्क्रम समरूपी छवियों के उदाहरण हैं
- जीuc−1({ ‹SSS› }) = { ‹sss›, ‹sß›, ‹ßs› }, चूँकि guc(‹sss›) = जीuc(‹sß›) = जीuc(‹ßs›) = ‹SSS›, और
- जीuc−1({ ‹A›, ‹bb› }) = { ‹a› }, चूँकि guc(‹a›) = ‹A›, जबकि ‹bb› तक g द्वारा नहीं पहुंचा जा सकताuc.
बाद वाली भाषा के लिए, जीuc(जीuc−1({ ‹A›, ‹bb› })) = guc({ ‹a› }) = { ‹A› } ≠ { ‹A›, ‹bb› }. समरूपता जीuc यह ε-मुक्त नहीं है, क्योंकि यह उदाहरण के लिए मैप करता है। ‹0› से ε.
एक बहुत ही सरल रज्जु होमोमोर्फिज्म उदाहरण जो प्रत्येक वर्ण को केवल एक वर्ण में मैप करता है वह EBCDIC-एन्कोडेड रज्जु को ASCII में परिवर्तित करना है।
रज्जु प्रक्षेपण
यदि s एक रज्जु है, और एक वर्णमाला है, एस का रज्जु प्रक्षेपण वह रज्जु है जो उन सभी वर्णों को हटाकर परिणामित होता है जो इसमें नहीं हैं . ऐसा लिखा है . इसे औपचारिक रूप से दाहिनी ओर से वर्णों को हटाकर परिभाषित किया गया है:
यहाँ रिक्त रज्जु को दर्शाता है. एक रज्जु का प्रक्षेपण मूलतः संबंधपरक बीजगणित में प्रक्षेपण के समान है।
किसी भाषा के प्रक्षेपण के लिए रज्जु प्रक्षेपण को बढ़ावा दिया जा सकता है। एक औपचारिक भाषा एल दी गई है, इसका प्रक्षेपण द्वारा दिया गया है
दायां और बायां भागफल
एक रज्जु s से a वर्ण का दायां भागफल, दाहिनी ओर से रज्जु s में वर्ण a का कटाव है। इसे इस प्रकार दर्शाया गया है . यदि रज्जु में दाहिनी ओर a नहीं है, तो परिणाम रिक्त रज्जु है। इस प्रकार:
रिक्त रज्जु का भागफल लिया जा सकता है:
इसी प्रकार, एक उपसमुच्चय दिया गया है एक मोनॉयड का , कोई भागफल उपसमुच्चय को इस प्रकार परिभाषित कर सकता है
बाएँ भागफल को समान रूप से परिभाषित किया जा सकता है, जिसमें संचालन एक रज्जु के बाईं ओर होता है।[citation needed]
हॉपक्रॉफ्ट और उल्मैन (1979) भागफल एल को परिभाषित करते हैं1/एल2 भाषाओं में से एल1 और मैं2 उसी वर्णमाला के ऊपर L1/L2 = { s | ∃t∈L2. st∈L1 }.[7] यह उपरोक्त परिभाषा का सामान्यीकरण नहीं है, क्योंकि, एक रज्जु एस और अलग-अलग वर्णों ए, बी के लिए, हॉपक्रॉफ्ट और उलमैन की परिभाषा का तात्पर्य है उपज {}, इसके बजाय { ε }.
एक सिंगलटन भाषा L का बायाँ भागफल (जब हॉपक्रॉफ्ट और उलमैन 1979 के समान परिभाषित किया गया)1 और एक मनमानी भाषा एल2 ब्रज़ोज़ोस्की व्युत्पन्न के रूप में जाना जाता है; यदि एल2 इसे नियमित अभिव्यक्ति द्वारा दर्शाया जाता है, इसलिए बायां भागफल भी हो सकता है।[8]
वाक्यात्मक संबंध
किसी उपसमुच्चय का सही भागफल एक मोनॉयड का एक तुल्यता संबंध को परिभाषित करता है, जिसे एस का सही वाक्यात्मक संबंध कहा जाता है। यह द्वारा दिया गया है
संबंध स्पष्ट रूप से परिमित सूचकांक का है (समतुल्य वर्गों की एक सीमित संख्या है) यदि और केवल यदि पारिवारिक सही भागफल परिमित है; वह है, यदि
परिमित है. इस मामले में कि एम कुछ वर्णमाला पर शब्दों का मोनोइड है, एस तब एक नियमित भाषा है, यानी, एक ऐसी भाषा जिसे एक सीमित राज्य ऑटोमेटन द्वारा पहचाना जा सकता है। वाक्यात्मक मोनॉयड पर लेख में इस पर अधिक विस्तार से चर्चा की गई है।[citation needed]
सही रद्दीकरण
एक रज्जु एस से ए अक्षर का सही रद्दीकरण दाईं ओर से शुरू होने वाली रज्जु एस में अक्षर ए की पहली घटना को हटाना है। इसे इस प्रकार दर्शाया गया है और इसे पुनरावर्ती रूप से परिभाषित किया गया है
रिक्त रज्जु हमेशा रद्द करने योग्य होती है:
स्पष्ट रूप से, सही रद्दीकरण और प्रक्षेपण क्रमविनिमेय संपत्ति:
उपसर्ग
एक रज्जु के उपसर्ग किसी दी गई भाषा के संबंध में, एक रज्जु के सभी उपसर्गों (कंप्यूटर विज्ञान) का समुच्चय है:
कहाँ .
किसी भाषा का उपसर्ग समापन है
उदाहरण:
किसी भाषा को उपसर्ग बंद यदि कहा जाता है .
उपसर्ग बंद करने वाला ऑपरेटर निष्क्रिय है:
उपसर्ग संबंध एक द्विआधारी संबंध है ऐसा है कि अगर और केवल अगर . यह संबंध उपसर्ग क्रम का एक विशेष उदाहरण है।[citation needed]
यह भी देखें
- प्रोग्रामिंग भाषाओं की तुलना (रज्जु फलनो)
- लेवी की लेम्मा
- रज्जु (कंप्यूटर विज्ञान)#औपचारिक सिद्धांत|रज्जु (कंप्यूटर विज्ञान) - रज्जु पर अधिक बुनियादी संचालन की परिभाषा और कार्यान्वयन
टिप्पणियाँ
- ↑ Although every regular language is also context-free, the previous theorem is not implied by the current one, since the former yields a shaper result for regular languages.
- ↑ Strictly formally, a homomorphism yields a language consisting of just one string, i.e. .
- ↑ This follows from the above-mentioned closure under arbitrary substitutions.
संदर्भ
- Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduction to Automata Theory, Languages and Computation. Reading, Massachusetts: Addison-Wesley Publishing. ISBN 978-0-201-02988-8. Zbl 0426.68001. (See chapter 3.)
- ↑ Hopcroft, Ullman (1979), Sect.3.2, p.60
- ↑ Hopcroft, Ullman (1979), Sect.3.2, Theorem 3.4, p.60
- ↑ Hopcroft, Ullman (1979), Sect.6.2, Theorem 6.2, p.131
- ↑ Hopcroft, Ullman (1979), Sect.3.2, p.60-61
- ↑ Hopcroft, Ullman (1979), Sect.3.2, Theorem 3.5, p.61
- ↑ Hopcroft, Ullman (1979), Sect.6.2, Theorem 6.3, p.132
- ↑ Hopcroft, Ullman (1979), Sect.3.2, p.62
- ↑ Janusz A. Brzozowski (1964). "रेगुलर एक्सप्रेशन के व्युत्पन्न". J ACM. 11 (4): 481–494. doi:10.1145/321239.321249. S2CID 14126942.