इंटरेक्शन नेट: Difference between revisions

Latest revision as of 09:33, 27 July 2023

इंटरेक्शन नेट 1990 में यवेस लाफोंट के लिए तैयार किये गए गणना का ग्राफिकल नमूना है^[1] रैखिक तर्क की प्रमाण संरचनाओं के सामान्यीकरण के रूप में प्रयोग किया जाता है। परस्पर नेट प्रणाली प्रतिनिधि प्रकारों के सेट और परस्पर नियमों के सेट के लिए निर्दिष्ट किया जाता है। परस्पर नेट इस अर्थ में गणना का स्वाभाविक रूप से वितरित नमूना है कि गणना परस्पर नेट के कई भागो में साथ हो सकती है, और किसी तादात्म्य की आवश्यकता नहीं है। इसलिए गणना के इस नमूना में कमी की मजबूत संगम संपत्ति के लिए उत्तरार्द्ध की गारंटी दी जाती है। इस प्रकार परस्पर नेट बड़े पैमाने पर समानता के लिए प्राकृतिक भाषा प्रदान करते हैं। परस्पर नेट लैम्ब्डा गणना के कई कार्यान्वयनों के केंद्र में हैं, जैसे कि कुशल बंद कटौती^[2] और इष्टतम, लेवी के अर्थ में, लैम्बडा स्कोप होता है।^[3]

परिभाषा

परस्पर नेट लेखाचित्र जैसी संरचना होती है जिसमें प्रतिनिधि और किनारे होते हैं।

इस प्रकार का प्रतिनिधि $\alpha$ और समृद्धि के साथ ${\text{ar}}(\alpha )=n\geq 0$ प्रमुख बंदरगाह है और $n$ सहायक बंदरगाह होता है किसी भी पत्तन को अधिकतम किनारे से जोड़ा जा सकता है। इसलिए जो पत्तन किसी किनारे से नहीं जुड़े होते हैं उन्हें मुक्त पत्तन कहा जाता है। मुक्त पत्तन मिलकर परस्पर नेट का अंतराफलक बनाते हैं। सभी प्रतिनिधि प्रकार सेट से संबंधित हैं $\Sigma$ हस्ताक्षर कहा जाता है.

परस्पर नेट जिसमें केवल किनारे होते हैं उसे तारा कहा जाता है और सामान्यतः इसे इस रूप में दर्शाया जाता है $\omega$ . वृक्ष $t$ इसकी जड़ के साथ $x$ आगमनात्मक रूप से या तो किनारे के रूप में परिभाषित किया गया है $x$ , या प्रतिनिधि के रूप में $\alpha$ इसके मुफ़्त मूलधन पत्तन के साथ $x$ और इसके सहायक बंदरगाह $x_{i}$ अन्य पेड़ों की जड़ों से जुड़ा हुआ $t_{i}$ .होता है|

जिससे रेखांकन रूप से, परस्पर नेट की आदिम संरचनाओं को निम्नानुसार दर्शाया जा सकता है:

जब दो प्रतिनिधि अपने प्रमुख पोर्ट से दूसरे से जुड़े होते हैं, तो वे सक्रिय जोड़ी बनाते हैं।

सक्रिय जोड़े में कोई भी परस्पर नियम प्रस्तुत कर सकता है जो बताता है कि सक्रिय जोड़ी किसी अन्य परस्पर को कैसे फिर से लिखती है

जिससे बिना जाल किसी सक्रिय जोड़े वाले परस्पर नेट को सामान्य रूप में कहा जाता है। हस्ताक्षर $\Sigma$ (साथ ${\text{ar}}:\Sigma \rightarrow \mathbb {N}$ इस पर परिभाषित) प्रतिनिधि के लिए परिभाषित परस्पर नियमों के सेट के साथ $\alpha \in \Sigma$ मिलकर अंतःक्रिया प्रणाली का निर्माण करते हैं।

परस्पर गणना

जिससे परस्पर नेट के पाठ्य प्रतिनिधित्व को परस्पर गणना कहा जाता है^[4] और इसे कार्यक्रमों भाषा के रूप में देखा जा सकता है।

जिससे आगमनात्मक रूप से परिभाषित पेड़ शब्दों के अनुरूप होते हैं $t::=\alpha (t_{1},\dots ,t_{n})\ |\ x$ परस्पर गणना में, कहां $x$ नाम कहा जाता है.

कोई भी परस्पर नेट $N$ पहले से परिभाषित तारों और वृक्ष आदिम का उपयोग करके निम्नानुसार फिर से तैयार किया जा सकता है:

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

$c\equiv \langle t_{1},\dots ,t_{m}\ |\ v_{1}=w_{1},\dots ,v_{n}=w_{n}\rangle$ ,

कहाँ $t_{i}$ , $v_{i}$ , और $w_{i}$ इच्छानुसार शर्तें हैं. क्रमबद्ध क्रम $t_{1},...,t_{m}$ बाईं ओर को अंतराफलक कहा जाता है, चूँकि दाईं ओर समीकरणों का अव्यवस्थित मल्टीसेट होता है $v_{i}=w_{i}$ . तारों $\omega$ नामों का अनुवाद करता है, इसलिए प्रत्येक नाम को विन्यास में ठीक दो बार आना पड़ता है।

बिल्कुल वैसे ही जैसे $\lambda$ - गणना परस्पर गणना की धारणाएं हैं; $\alpha$ -परिवर्तन और प्रतिस्थापन स्वाभाविक रूप से विन्यास पर परिभाषित होते हैं। इसलिए विशेष रूप से, किसी भी नाम की दोनों घटनाओं को a से बदला जा सकता है

यदि किसी दिए गए विन्यास में उत्तरार्द्ध नहीं होता है तो नया नाम। तक के विन्यास को समतुल्य माना जाता है $\alpha$ - रूपांतरण. बदले में, प्रतिस्थापन $t[x:=u]$ नाम बदलने का परिणाम है $x$ शब्द में $t$ दूसरे शब्द के साथ $u$ अगर $x$ पद में बिल्कुल घटना है $t$ .

किसी भी परस्पर नियम को लेखाचित्रिक रूप से निम्नानुसार दर्शाया जा सकता है:

कहाँ $\alpha ,\beta \in \Sigma$ , और परस्पर नेट $N$ दाहिनी ओर को परस्पर गणना में

जिससे अनुवाद करने के लिए तारों और वृक्ष आदिम का उपयोग करके फिर से तैयार किया गया है $\alpha [v_{1},\dots ,v_{m}]\bowtie \beta [w_{1},\dots ,w_{n}]$ लाफोंट के संकेतन का उपयोग किया जाता है।

जिससे परस्पर गणना लेखाचित्र से देखने की समानता में अधिक विवरण में विन्यास पर कमी को परिभाषित करता है

परस्पर नेट पर परिभाषित पुनर्लेखन। अर्थात्, यदि $\alpha [v_{1},\dots ,v_{m}]\bowtie \beta [w_{1},\dots ,w_{n}]$ , निम्नलिखित कमी होती है :

$\langle {\vec {t}}\ |\ \alpha (t_{1},\dots ,t_{m})=\beta (u_{1},\dots ,u_{n}),\Delta \rangle \rightarrow \langle {\vec {t}}\ |\ t_{1}=v_{1},\dots ,t_{m}=v_{m},u_{1}=w_{1},\dots ,u_{n}=w_{n},\Delta \rangle$

अंतःक्रिया कहलाती है. जब समीकरणों का रूप होता है $x=u$ , अप्रत्यक्ष परिणाम लागू किया जा सकता है

नाम की अन्य घटना के स्थान पर $x$ किसी अवधि में $t$ :

$\langle \dots t\dots \ |\ x=u,\Delta \rangle \rightarrow \langle \dots t[x:=u]\dots \ |\ \Delta \rangle$ या $\langle {\vec {t}}\ |\ x=u,t=w,\Delta \rangle \rightarrow \langle {\vec {t}}\ |\ t[x:=u]=w,\Delta \rangle$ .

समीकरण $x=t$ यदि गतिरोध कहा जाता है $x$ अवधि में घटित होता है $t$ . सामान्यतः केवल गतिरोध-मुक्त परस्पर नेट पर ही विचार किया जाता है। साथ में, अंतःक्रिया और अप्रत्यक्षता विन्यास पर कमी संबंध को परिभाषित करते हैं। तथ्य यह है कि विन्यास $c$ अपने सामान्य स्वरूप में कम हो जाता है $c'$ कोई समीकरण न बचे होने को इस रूप में दर्शाया जाता है $c\downarrow c'$ .

गुण

परस्पर नेट निम्नलिखित गुणों से लाभान्वित होते हैं:

स्थानीयता (केवल सक्रिय जोड़े को फिर से लिखा जा सकता है);
रैखिकता (प्रत्येक परस्पर नियम को निरंतर समय में लागू किया जा सकता है);
मजबूत संगम को एक कदम हीरे की संपत्ति (यदि) के रूप में भी जाना जाता है $c\rightarrow c_{1}$ और $c\rightarrow c_{2}$ , तब $c_{1}\rightarrow c'$ और $c_{2}\rightarrow c'$ कुछ के लिए $c'$ ).

ये गुण मिलकर बड़े पैमाने पर समानता की अनुमति देते हैं।

परस्पर कॉम्बिनेटर

सबसे सरल परस्पर प्रणाली में से जो किसी अन्य परस्पर प्रणाली का अनुकरण कर सकता है वह परस्पर संयोजक है।^[5] इसके हस्ताक्षर हैं $\Sigma =\{\epsilon ,\delta ,\gamma \}$ साथ ${\text{ar}}(\epsilon )=0$ और ${\text{ar}}(\delta )={\text{ar}}(\gamma )=2$ . इन प्रतिनिधि के लिए परस्पर नियम हैं:

$\epsilon \bowtie \alpha [\epsilon ,\dots ,\epsilon ]$ मिटाना कहते हैं;
$\delta [\alpha (x_{1},\dots ,x_{n}),\alpha (y_{1},\dots ,y_{n})]\bowtie \alpha [\delta (x_{1},y_{1}),\dots ,\delta (x_{n},y_{n})]$ दुरुक्ति कहा जाता है;
$\delta [x,y]\bowtie \delta [x,y]$ और $\gamma [x,y]\bowtie \gamma [y,x]$ विनाश कहा जाता है.

लेखाचित्रिक रूप से, मिटाने और दुरुक्ति के नियमों को निम्नानुसार दर्शाया जा सकता है:

गैर-समाप्ति अंतःक्रिया नेट के उदाहरण के साथ जो अपने आप में प्रणाली मट जाता है। परस्पर गणना में संबंधित विन्यास से प्रारंभ होने वाला इसका अनंत कमी क्रम इस प्रकार है:

${\begin{aligned}&\langle \varnothing \ |\ \delta (\epsilon ,x)=\gamma (x,\epsilon )\rangle \rightarrow \\&\langle \varnothing \ |\ \epsilon =\gamma (x_{1},x_{2}),\ x=\gamma (y_{1},y_{2}),\ x=\delta (x_{1},y_{1}),\ \epsilon =\delta (x_{2},y_{2})\rangle \rightarrow ^{*}\\&\langle \varnothing \ |\ x_{1}=\epsilon ,\ x_{2}=\epsilon ,\ x=\gamma (y_{1},y_{2}),\ x=\delta (x_{1},y_{1}),\ x_{2}=\epsilon ,\ y_{2}=\epsilon \rangle \rightarrow ^{*}\\&\langle \varnothing \ |\ \delta (\epsilon ,x)=\gamma (x,\epsilon )\rangle \rightarrow \dots \end{aligned}}$

गैर-नियतात्मक विस्तार

जिससे परस्पर नेट अनिवार्य रूप से नियतात्मक हैं और गैर-नियतात्मक संगणनाओं को सीधे नमूना नहीं कर सकते हैं। गैर-नियतात्मक विकल्प को व्यक्त करने के लिए, परस्पर नेट को विस्तारित करने की आवश्यकता है। वास्तव में, केवल प्रतिनिधि का परिचय देना ही पर्याप्त है ${\text{amb}}$ ^[6] दो प्रमुख पोर्ट और निम्नलिखित परस्पर नियमों के साथ किया गया था|

यह विशिष्ट प्रतिनिधि अस्पष्ट विकल्प का प्रतिनिधित्व करता है और इसका उपयोग किसी भी अन्य प्रतिनिधि को प्रमुख पोर्ट की मनमानी संख्या के साथ अनुकरण करने के लिए किया जा सकता है। उदाहरण के लिए, यह a को परिभाषित करने की अनुमति देता है ${\text{ParallelOr}}$ बूलियन ऑपरेशन जो अन्य तर्कों में होने वाली गणना से स्वतंत्र होकर, यदि इसका कोई भी तर्क सत्य है, तो सत्य लौटाता है।

यह भी देखें

परस्पर की ज्यामिति
ग्राफ पुनर्लेखन
लैम्ब्डा गणना
रेखीय ग्राफ व्याकरण
रेखीय तर्क
प्रमाण जाल

संदर्भ

↑ Lafont, Yves (1990). "इंटरेक्शन जाल". Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM: 95–108. doi:10.1145/96709.96718. ISBN 0897913434. S2CID 1165803.
↑ Mackie, Ian (2008). "बंद कटौती का एक इंटरेक्शन नेट कार्यान्वयन". Implementation and Application of Functional Languages: 20th International Symposium. Lecture Notes in Computer Science. 5836: 43–59. doi:10.1007/978-3-642-24452-0_3. ISBN 978-3-642-24451-3.
↑ van Oostrom, Vincent; van de Looij, Kees-Jan; Zwitserlood, Marijn (2010). "Lambdascope: Another optimal implementation of the lambda-calculus" (PDF). Archived from the original (PDF) on 2017-07-06. {{cite journal}}: Cite journal requires |journal= (help)
↑ Fernández, Maribel; Mackie, Ian (1999). "इंटरेक्शन नेट के लिए एक कैलकुलस". Principles and Practice of Declarative Programming. Lecture Notes in Computer Science. Springer. 1702: 170–187. doi:10.1007/10704567. ISBN 978-3-540-66540-3. S2CID 19458687.
↑ Lafont, Yves (1997). "इंटरेक्शन कॉम्बिनेटर". Information and Computation. Academic Press, Inc. 137 (1): 69–101. doi:10.1006/inco.1997.2643.
↑ Fernández, Maribel; Khalil, Lionel (2003). "Interaction Nets with McCarthy's Amb: Properties and Applications". Nordic Journal of Computing. 10 (2): 134–162.

अग्रिम पठन

Asperti, Andrea; Guerrini, Stefano (1998). The Optimal Implementation of Functional Programming Languages. Cambridge Tracts in Theoretical Computer Science. Vol. 45. Cambridge University Press. ISBN 9780521621120.
Fernández, Maribel (2009). "Interaction-Based Models of Computation". Models of Computation: An Introduction to Computability Theory. Springer Science & Business Media. pp. 107–130. ISBN 9781848824348.

बाहरी संबंध

de Falco, Marc. "tikz-inet. A set of tikz-based macros for drawing interaction nets".
de Falco, Marc. "INL. Interaction Nets Laboratory".
Vilaça, Miguel. "INblobs. An editor and interpreter for Interaction Nets".
Asperti, Andrea. "The Bologna Optimal Higher-Order Machine". GitHub.
Salikhmetov, Anton. "JavaScript Engine for Interaction Nets".
Salikhmetov, Anton. "Macro Lambda Calculus".

[1] Lafont, Yves (1990). "इंटरेक्शन जाल". Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM: 95–108. doi:10.1145/96709.96718. ISBN 0897913434. S2CID 1165803.

[2] Mackie, Ian (2008). "बंद कटौती का एक इंटरेक्शन नेट कार्यान्वयन". Implementation and Application of Functional Languages: 20th International Symposium. Lecture Notes in Computer Science. 5836: 43–59. doi:10.1007/978-3-642-24452-0_3. ISBN 978-3-642-24451-3.

[3] van Oostrom, Vincent; van de Looij, Kees-Jan; Zwitserlood, Marijn (2010). "Lambdascope: Another optimal implementation of the lambda-calculus" (PDF). Archived from the original (PDF) on 2017-07-06. {{cite journal}}: Cite journal requires |journal= (help)

[4] Fernández, Maribel; Mackie, Ian (1999). "इंटरेक्शन नेट के लिए एक कैलकुलस". Principles and Practice of Declarative Programming. Lecture Notes in Computer Science. Springer. 1702: 170–187. doi:10.1007/10704567. ISBN 978-3-540-66540-3. S2CID 19458687.

[5] Lafont, Yves (1997). "इंटरेक्शन कॉम्बिनेटर". Information and Computation. Academic Press, Inc. 137 (1): 69–101. doi:10.1006/inco.1997.2643.

[6] Fernández, Maribel; Khalil, Lionel (2003). "Interaction Nets with McCarthy's Amb: Properties and Applications". Nordic Journal of Computing. 10 (2): 134–162.

[1]

[2]

[3]

[4]

[5]

[6]

@@ Line 1: / Line 1: @@
-'''इंटरेक्शन नेट 1990''' में [[यवेस लाफोंट]] द्वारा तैयार किये गए गणना का '''ग्राफिकल मॉडल''' है<ref>{{cite journal|first=Yves|last=Lafont|title=इंटरेक्शन जाल|date=1990|journal=Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages|pages=95–108|doi=10.1145/96709.96718|publisher=ACM|isbn=0897913434|s2cid=1165803 }}</ref> [[रैखिक तर्क]] की प्रमाण संरचनाओं के सामान्यीकरण के रूप में। इंटरैक्शन नेट प्रणाली प्रतिनिधि प्रकारों के सेट और इंटरैक्शन नियमों के सेट द्वारा निर्दिष्ट किया जाता है। इंटरेक्शन नेट इस अर्थ में गणना का स्वाभाविक रूप से वितरित मॉडल है कि गणना इंटरेक्शन नेट के कई भागो में साथ हो सकती है, और किसी तादात्म्य की आवश्यकता नहीं है। इसलिए गणना के इस मॉडल में कमी की मजबूत संगम संपत्ति द्वारा उत्तरार्द्ध की गारंटी दी जाती है। इस प्रकार इंटरेक्शन नेट बड़े पैमाने पर समानता के लिए प्राकृतिक भाषा प्रदान करते हैं। इंटरेक्शन नेट [[लैम्ब्डा कैलकुलस|लैम्ब्डा गणना]] के कई कार्यान्वयनों के केंद्र में हैं, जैसे कि कुशल बंद कटौती<ref>{{cite journal|first=Ian|last=Mackie|title=बंद कटौती का एक इंटरेक्शन नेट कार्यान्वयन|pages=43–59|date=2008|doi=10.1007/978-3-642-24452-0_3|journal=Implementation and Application of Functional Languages: 20th International Symposium|volume=5836|series=Lecture Notes in Computer Science|isbn=978-3-642-24451-3}}</ref> और इष्टतम, लेवी के अर्थ में, लैम्बडास्कोप होता है।<ref>{{cite journal|first1=Vincent|last1=van Oostrom|first2=Kees-Jan|last2=van de Looij|first3=Marijn |last3=Zwitserlood|title=Lambdascope: Another optimal implementation of the lambda-calculus|date=2010|url=http://www.phil.uu.nl/~oostrom/publication/pdf/lambdascope.pdf |archive-url=https://web.archive.org/web/20170706084403/http://www.phil.uu.nl/~oostrom/publication/pdf/lambdascope.pdf |archive-date=2017-07-06 |url-status=dead}}</ref>
+'''इंटरेक्शन नेट''' 1990 में [[यवेस लाफोंट]] के लिए तैयार किये गए गणना का ग्राफिकल नमूना है<ref>{{cite journal|first=Yves|last=Lafont|title=इंटरेक्शन जाल|date=1990|journal=Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages|pages=95–108|doi=10.1145/96709.96718|publisher=ACM|isbn=0897913434|s2cid=1165803 }}</ref> [[रैखिक तर्क]] की प्रमाण संरचनाओं के सामान्यीकरण के रूप में प्रयोग किया जाता है। परस्पर नेट प्रणाली प्रतिनिधि प्रकारों के सेट और परस्पर नियमों के सेट के लिए निर्दिष्ट किया जाता है। परस्पर नेट इस अर्थ में गणना का स्वाभाविक रूप से वितरित नमूना है कि गणना परस्पर नेट के कई भागो में साथ हो सकती है, और किसी तादात्म्य की आवश्यकता नहीं है। इसलिए गणना के इस नमूना में कमी की मजबूत संगम संपत्ति के लिए उत्तरार्द्ध की गारंटी दी जाती है। इस प्रकार परस्पर नेट बड़े पैमाने पर समानता के लिए प्राकृतिक भाषा प्रदान करते हैं। परस्पर नेट [[लैम्ब्डा कैलकुलस|लैम्ब्डा गणना]] के कई कार्यान्वयनों के केंद्र में हैं, जैसे कि कुशल बंद कटौती<ref>{{cite journal|first=Ian|last=Mackie|title=बंद कटौती का एक इंटरेक्शन नेट कार्यान्वयन|pages=43–59|date=2008|doi=10.1007/978-3-642-24452-0_3|journal=Implementation and Application of Functional Languages: 20th International Symposium|volume=5836|series=Lecture Notes in Computer Science|isbn=978-3-642-24451-3}}</ref> और इष्टतम, लेवी के अर्थ में, लैम्बडा स्कोप होता है।<ref>{{cite journal|first1=Vincent|last1=van Oostrom|first2=Kees-Jan|last2=van de Looij|first3=Marijn |last3=Zwitserlood|title=Lambdascope: Another optimal implementation of the lambda-calculus|date=2010|url=http://www.phil.uu.nl/~oostrom/publication/pdf/lambdascope.pdf |archive-url=https://web.archive.org/web/20170706084403/http://www.phil.uu.nl/~oostrom/publication/pdf/lambdascope.pdf |archive-date=2017-07-06 |url-status=dead}}</ref>
 == परिभाषा ==
-इंटरेक्शन नेट ग्राफ़ जैसी संरचना होती है जिसमें प्रतिनिधि और किनारे होते हैं।
+परस्पर नेट लेखाचित्र जैसी संरचना होती है जिसमें प्रतिनिधि और किनारे होते हैं।
-इस प्रकार का प्रतिनिधि <math>\alpha</math> और समृद्धि के साथ <math>\text{ar}(\alpha) = n \ge 0</math> प्रमुख बंदरगाह है और <math>n</math> सहायक बंदरगाह होता है किसी भी पत्तन को अधिकतम किनारे से जोड़ा जा सकता है।इसलिए जो पत्तन किसी किनारे से नहीं जुड़े होते हैं उन्हें मुक्त पत्तन कहा जाता है। मुक्त पत्तन मिलकर इंटरेक्शन नेट का इंटरफ़ेस बनाते हैं। सभी प्रतिनिधि प्रकार सेट से संबंधित हैं <math>\Sigma</math> हस्ताक्षर कहा जाता है.
+इस प्रकार का प्रतिनिधि <math>\alpha</math> और समृद्धि के साथ <math>\text{ar}(\alpha) = n \ge 0</math> प्रमुख बंदरगाह है और <math>n</math> सहायक बंदरगाह होता है किसी भी पत्तन को अधिकतम किनारे से जोड़ा जा सकता है। इसलिए जो पत्तन किसी किनारे से नहीं जुड़े होते हैं उन्हें मुक्त पत्तन कहा जाता है। मुक्त पत्तन मिलकर परस्पर नेट का अंतराफलक बनाते हैं। सभी प्रतिनिधि प्रकार सेट से संबंधित हैं <math>\Sigma</math> हस्ताक्षर कहा जाता है.
-इंटरेक्शन नेट जिसमें केवल किनारे होते हैं उसे तारों कहा जाता है और  सामान्यतः इसे इस रूप में दर्शाया जाता है <math>\omega</math>. वृक्ष <math>t</math> इसकी जड़ के साथ <math>x</math> आगमनात्मक रूप से या तो किनारे के रूप में परिभाषित किया गया है <math>x</math>, या प्रतिनिधि के रूप में <math>\alpha</math> इसके मुफ़्त मूलधन पत्तन के साथ <math>x</math> और इसके सहायक बंदरगाह <math>x_i</math> अन्य पेड़ों की जड़ों से जुड़ा हुआ <math>t_i</math>.होता है|
+परस्पर नेट जिसमें केवल किनारे होते हैं उसे तारा कहा जाता है और सामान्यतः इसे इस रूप में दर्शाया जाता है <math>\omega</math>. वृक्ष <math>t</math> इसकी जड़ के साथ <math>x</math> आगमनात्मक रूप से या तो किनारे के रूप में परिभाषित किया गया है <math>x</math>, या प्रतिनिधि के रूप में <math>\alpha</math> इसके मुफ़्त मूलधन पत्तन के साथ <math>x</math> और इसके सहायक बंदरगाह <math>x_i</math> अन्य पेड़ों की जड़ों से जुड़ा हुआ <math>t_i</math>.होता है|
-रेखांकन रूप से, इंटरेक्शन नेट की आदिम संरचनाओं को निम्नानुसार दर्शाया जा सकता है:
+जिससे रेखांकन रूप से, परस्पर नेट की आदिम संरचनाओं को निम्नानुसार दर्शाया जा सकता है:
 [[File:Primitives of Interaction Nets.png|इंटरेक्शन नेट के आदिम]]जब दो प्रतिनिधि अपने प्रमुख पोर्ट से दूसरे से जुड़े होते हैं, तो वे सक्रिय जोड़ी बनाते हैं।
-सक्रिय जोड़े में कोई भी इंटरैक्शन नियम पेश कर सकता है जो बताता है कि सक्रिय जोड़ी किसी अन्य इंटरैक्शन को कैसे फिर से लिखती है
+सक्रिय जोड़े में कोई भी परस्पर नियम प्रस्तुत कर सकता है जो बताता है कि सक्रिय जोड़ी किसी अन्य परस्पर को कैसे फिर से लिखती है
-जिससे बिना जाल किसी सक्रिय जोड़े वाले इंटरेक्शन नेट को सामान्य रूप में कहा जाता है। हस्ताक्षर <math>\Sigma</math> (साथ <math>\text{ar}: \Sigma \rightarrow \mathbb{N}</math> इस पर परिभाषित) प्रतिनिधि के लिए परिभाषित इंटरैक्शन नियमों के सेट के साथ <math>\alpha \in \Sigma</math> मिलकर अंतःक्रिया प्रणाली का निर्माण करते हैं।
+जिससे बिना जाल किसी सक्रिय जोड़े वाले परस्पर नेट को सामान्य रूप में कहा जाता है। हस्ताक्षर <math>\Sigma</math> (साथ <math>\text{ar}: \Sigma \rightarrow \mathbb{N}</math> इस पर परिभाषित) प्रतिनिधि के लिए परिभाषित परस्पर नियमों के सेट के साथ <math>\alpha \in \Sigma</math> मिलकर अंतःक्रिया प्रणाली का निर्माण करते हैं।
-== इंटरेक्शन गणना ==
+== परस्पर गणना ==
-इंटरेक्शन नेट के पाठ्य प्रतिनिधित्व को इंटरेक्शन गणना कहा जाता है<ref>{{cite journal|last1=Fernández|first1=Maribel|last2=Mackie|first2=Ian|title=इंटरेक्शन नेट के लिए एक कैलकुलस|journal=Principles and Practice of Declarative Programming|volume=1702|date=1999|pages=170–187|doi=10.1007/10704567|publisher=Springer|series=Lecture Notes in Computer Science|isbn=978-3-540-66540-3|s2cid=19458687 }}</ref> और इसे कार्यक्रमों भाषा के रूप में देखा जा सकता है।
+जिससे परस्पर नेट के पाठ्य प्रतिनिधित्व को परस्पर गणना कहा जाता है<ref>{{cite journal|last1=Fernández|first1=Maribel|last2=Mackie|first2=Ian|title=इंटरेक्शन नेट के लिए एक कैलकुलस|journal=Principles and Practice of Declarative Programming|volume=1702|date=1999|pages=170–187|doi=10.1007/10704567|publisher=Springer|series=Lecture Notes in Computer Science|isbn=978-3-540-66540-3|s2cid=19458687 }}</ref> और इसे कार्यक्रमों भाषा के रूप में देखा जा सकता है।
-जिससे आगमनात्मक रूप से परिभाषित पेड़ शब्दों के अनुरूप होते हैं <math>t ::= \alpha(t_1, \dots, t_n)\ |\ x</math> इंटरेक्शन गणना में, कहां <math>x</math> नाम कहा जाता है.
+जिससे आगमनात्मक रूप से परिभाषित पेड़ शब्दों के अनुरूप होते हैं <math>t ::= \alpha(t_1, \dots, t_n)\ |\ x</math> परस्पर गणना में, कहां <math>x</math> नाम कहा जाता है.
-कोई भी इंटरैक्शन नेट <math>N</math> पहले से परिभाषित तारों और वृक्ष आदिम का उपयोग करके निम्नानुसार फिर से तैयार किया जा सकता है:
+कोई भी परस्पर नेट <math>N</math> पहले से परिभाषित तारों और वृक्ष आदिम का उपयोग करके निम्नानुसार फिर से तैयार किया जा सकता है:
-[[File:Interaction Net as Configuration.png|कॉन्फ़िगरेशन के रूप में इंटरेक्शन नेट]]जो इंटरेक्शन गणना में विन्यास से मेल खाता है
+[[File:Interaction Net as Configuration.png|कॉन्फ़िगरेशन के रूप में इंटरेक्शन नेट]]जो परस्पर गणना में विन्यास से मेल खाता है
 <math>c \equiv \langle t_1, \dots, t_m \ |\ v_1 = w_1, \dots, v_n = w_n \rangle</math>,
-कहाँ <math>t_i</math>, <math>v_i</math>, और <math>w_i</math> मनमानी शर्तें हैं. क्रमबद्ध क्रम <math>t_1,...,t_m</math> बाईं ओर को इंटरफ़ेस कहा जाता है, चूँकि दाईं ओर समीकरणों का अव्यवस्थित मल्टीसेट होता है <math>v_i = w_i</math>. तारों <math>\omega</math> नामों का अनुवाद करता है, और प्रत्येक नाम को विन्यास में ठीक दो बार आना पड़ता है।
+कहाँ <math>t_i</math>, <math>v_i</math>, और <math>w_i</math> इच्छानुसार शर्तें हैं. क्रमबद्ध क्रम <math>t_1,...,t_m</math> बाईं ओर को अंतराफलक कहा जाता है, चूँकि दाईं ओर समीकरणों का अव्यवस्थित मल्टीसेट होता है <math>v_i = w_i</math>. तारों <math>\omega</math> नामों का अनुवाद करता है, इसलिए प्रत्येक नाम को विन्यास में ठीक दो बार आना पड़ता है।
+बिल्कुल वैसे ही जैसे <math>\lambda</math>- गणना परस्पर गणना की धारणाएं हैं; <math>\alpha</math>-परिवर्तन और प्रतिस्थापन स्वाभाविक रूप से विन्यास पर परिभाषित होते हैं। इसलिए विशेष रूप से, किसी भी नाम की दोनों घटनाओं को a से बदला जा सकता है
-बिल्कुल वैसे ही जैसे <math>\lambda</math>- गणना इंटरेक्शन गणना की धारणाएं हैं; <math>\alpha</math>-परिवर्तन और प्रतिस्थापन स्वाभाविक रूप से विन्यास पर परिभाषित होते हैं। विशेष रूप से, किसी भी नाम की दोनों घटनाओं को a से बदला जा सकता है
 यदि किसी दिए गए विन्यास में उत्तरार्द्ध नहीं होता है तो नया नाम। तक के विन्यास को समतुल्य माना जाता है <math>\alpha</math>- रूपांतरण. बदले में, प्रतिस्थापन <math>t[x := u]</math> नाम बदलने का परिणाम है <math>x</math> शब्द में <math>t</math> दूसरे शब्द के साथ <math>u</math> अगर <math>x</math> पद में बिल्कुल घटना है <math>t</math>.
-किसी भी इंटरैक्शन नियम को ग्राफ़िक रूप से निम्नानुसार दर्शाया जा सकता है:
+किसी भी परस्पर नियम को लेखाचित्रिक रूप से निम्नानुसार दर्शाया जा सकता है:
-[[File:Interaction Rule.png|इंटरेक्शन नियम]]कहाँ <math>\alpha, \beta \in \Sigma</math>, और इंटरेक्शन नेट <math>N</math> दाहिनी ओर को इंटरेक्शन गणना में अनुवाद करने के लिए तारों और वृक्ष आदिम का उपयोग करके फिर से तैयार किया गया है <math>\alpha[v_1,\dots, v_m] \bowtie \beta[w_1,\dots, w_n]</math> लाफोंट के संकेतन का उपयोग करना।
+[[File:Interaction Rule.png|इंटरेक्शन नियम]]कहाँ <math>\alpha, \beta \in \Sigma</math>, और परस्पर नेट <math>N</math> दाहिनी ओर को परस्पर गणना में
+जिससे अनुवाद करने के लिए तारों और वृक्ष आदिम का उपयोग करके फिर से तैयार किया गया है <math>\alpha[v_1,\dots, v_m] \bowtie \beta[w_1,\dots, w_n]</math> लाफोंट के संकेतन का उपयोग किया जाता है।
-जिससे इंटरेक्शन गणना ग्राफ़ से देखने की तुलना में अधिक विवरण में विन्यास पर कमी को परिभाषित करता है
+जिससे परस्पर गणना लेखाचित्र से देखने की समानता में अधिक विवरण में विन्यास पर कमी को परिभाषित करता है
-इंटरेक्शन नेट पर परिभाषित पुनर्लेखन। अर्थात्, यदि <math>\alpha[v_1,\dots, v_m] \bowtie \beta[w_1,\dots,w_n]</math>, निम्नलिखित कमी:
+परस्पर नेट पर परिभाषित पुनर्लेखन। अर्थात्, यदि <math>\alpha[v_1,\dots, v_m] \bowtie \beta[w_1,\dots,w_n]</math>, निम्नलिखित कमी होती है :
 <math>\langle \vec t\ |\ \alpha(t_1,\dots,t_m) = \beta(u_1,\dots,u_n), \Delta\rangle \rightarrow \langle \vec t\ |\ t_1 = v_1,\dots, t_m = v_m, u_1 = w_1,\dots, u_n = w_n, \Delta\rangle</math>
-अंतःक्रिया कहलाती है. जब समीकरणों में से का रूप होता है <math>x = u</math>, अप्रत्यक्ष परिणाम लागू किया जा सकता है
+अंतःक्रिया कहलाती है. जब समीकरणों का रूप होता है <math>x = u</math>, अप्रत्यक्ष परिणाम लागू किया जा सकता है
 नाम की अन्य घटना के स्थान पर <math>x</math> किसी अवधि में <math>t</math>:
@@ Line 50: / Line 53: @@
 <math>\langle \vec t\ |\ x = u, t = w, \Delta\rangle \rightarrow \langle \vec t\ |\ t[x := u] = w, \Delta \rangle</math>.
-समीकरण <math>x = t</math> यदि गतिरोध कहा जाता है <math>x</math> अवधि में घटित होता है <math>t</math>. सामान्यतः केवल गतिरोध-मुक्त इंटरेक्शन नेट पर ही विचार किया जाता है। साथ में, अंतःक्रिया और अप्रत्यक्षता विन्यास पर कमी संबंध को परिभाषित करते हैं। तथ्य यह है कि विन्यास <math>c</math> अपने सामान्य स्वरूप में कम हो जाता है <math>c'</math> कोई समीकरण न बचे होने को इस रूप में दर्शाया जाता है <math>c \downarrow c'</math>.
+समीकरण <math>x = t</math> यदि गतिरोध कहा जाता है <math>x</math> अवधि में घटित होता है <math>t</math>. सामान्यतः केवल गतिरोध-मुक्त परस्पर नेट पर ही विचार किया जाता है। साथ में, अंतःक्रिया और अप्रत्यक्षता विन्यास पर कमी संबंध को परिभाषित करते हैं। तथ्य यह है कि विन्यास <math>c</math> अपने सामान्य स्वरूप में कम हो जाता है <math>c'</math> कोई समीकरण न बचे होने को इस रूप में दर्शाया जाता है <math>c \downarrow c'</math>.
 == गुण ==
-इंटरेक्शन नेट निम्नलिखित गुणों से लाभान्वित होते हैं:
+परस्पर नेट निम्नलिखित गुणों से लाभान्वित होते हैं:
 * स्थानीयता (केवल सक्रिय जोड़े को फिर से लिखा जा सकता है);
-* रैखिकता (प्रत्येक इंटरैक्शन नियम को निरंतर समय में लागू किया जा सकता है);
+* रैखिकता (प्रत्येक परस्पर नियम को निरंतर समय में लागू किया जा सकता है);
 * मजबूत संगम को एक कदम हीरे की संपत्ति (यदि) के रूप में भी जाना जाता है <math>c \rightarrow c_1</math> और <math>c \rightarrow c_2</math>, तब <math>c_1 \rightarrow c'</math> और <math>c_2 \rightarrow c'</math> कुछ के लिए <math>c'</math>).
 ये गुण मिलकर बड़े पैमाने पर समानता की अनुमति देते हैं।
-== इंटरेक्शन कॉम्बिनेटर ==
+== परस्पर कॉम्बिनेटर ==
-सबसे सरल इंटरेक्शन सिस्टम में से जो किसी अन्य इंटरेक्शन सिस्टम का अनुकरण कर सकता है वह इंटरेक्शन संयोजक है।<ref>{{cite journal|first=Yves|last=Lafont|title=इंटरेक्शन कॉम्बिनेटर|journal=Information and Computation|volume=137|issue=1|pages=69–101|date=1997|publisher=Academic Press, Inc.|doi=10.1006/inco.1997.2643|doi-access=free}}</ref> इसके हस्ताक्षर हैं <math>\Sigma = \{\epsilon, \delta, \gamma\}</math> साथ <math>\text{ar}(\epsilon) = 0</math> और <math>\text{ar}(\delta) = \text{ar}(\gamma) = 2</math>. इन प्रतिनिधि के लिए इंटरैक्शन नियम हैं:
+सबसे सरल परस्पर प्रणाली में से जो किसी अन्य परस्पर प्रणाली का अनुकरण कर सकता है वह परस्पर संयोजक है।<ref>{{cite journal|first=Yves|last=Lafont|title=इंटरेक्शन कॉम्बिनेटर|journal=Information and Computation|volume=137|issue=1|pages=69–101|date=1997|publisher=Academic Press, Inc.|doi=10.1006/inco.1997.2643|doi-access=free}}</ref> इसके हस्ताक्षर हैं <math>\Sigma = \{\epsilon, \delta, \gamma\}</math> साथ <math>\text{ar}(\epsilon) = 0</math> और <math>\text{ar}(\delta) = \text{ar}(\gamma) = 2</math>. इन प्रतिनिधि के लिए परस्पर नियम हैं:
 * <math>\epsilon \bowtie \alpha[\epsilon,\dots, \epsilon]</math> मिटाना कहते हैं;
@@ Line 70: / Line 73: @@
 * <math>\delta[x, y] \bowtie \delta[x, y]</math> और <math>\gamma[x, y] \bowtie \gamma[y, x]</math> विनाश कहा जाता है.
-ग्राफ़िक रूप से, मिटाने और दोहराव के नियमों को निम्नानुसार दर्शाया जा सकता है:
+लेखाचित्रिक रूप से, मिटाने और दुरुक्ति के नियमों को निम्नानुसार दर्शाया जा सकता है:
-[[File:Examples of Interaction Nets.png|इंटरेक्शन नेट के उदाहरण]] गैर-समाप्ति अंतःक्रिया नेट के उदाहरण के साथ जो अपने आप में प्रणाली मट जाता है। इंटरेक्शन गणना में संबंधित विन्यास से प्रारंभ होने वाला इसका अनंत कमी क्रम इस प्रकार है:
+[[File:Examples of Interaction Nets.png|इंटरेक्शन नेट के उदाहरण]] गैर-समाप्ति अंतःक्रिया नेट के उदाहरण के साथ जो अपने आप में प्रणाली मट जाता है। परस्पर गणना में संबंधित विन्यास से प्रारंभ होने वाला इसका अनंत कमी क्रम इस प्रकार है:
 <math>
@@ Line 86: / Line 89: @@
 == गैर-नियतात्मक विस्तार ==
-जिससे इंटरेक्शन नेट अनिवार्य रूप से नियतात्मक हैं और गैर-नियतात्मक संगणनाओं को सीधे मॉडल नहीं कर सकते हैं। गैर-नियतात्मक विकल्प को व्यक्त करने के लिए, इंटरैक्शन नेट को विस्तारित करने की आवश्यकता है। वास्तव में, केवल प्रतिनिधि का परिचय देना ही पर्याप्त है <math>\text{amb}</math><ref>{{cite journal|last1=Fernández|first1=Maribel|last2=Khalil|first2=Lionel|title=Interaction Nets with McCarthy's Amb: Properties and Applications|journal=Nordic Journal of Computing|date=2003|volume=10|issue=2|pages=134–162|url=https://www.researchgate.net/publication/220369522}}</ref> दो प्रमुख पोर्ट और निम्नलिखित इंटरैक्शन नियमों के साथ किया गया था|
+जिससे परस्पर नेट अनिवार्य रूप से नियतात्मक हैं और गैर-नियतात्मक संगणनाओं को सीधे नमूना नहीं कर सकते हैं। गैर-नियतात्मक विकल्प को व्यक्त करने के लिए, परस्पर नेट को विस्तारित करने की आवश्यकता है। वास्तव में, केवल प्रतिनिधि का परिचय देना ही पर्याप्त है <math>\text{amb}</math><ref>{{cite journal|last1=Fernández|first1=Maribel|last2=Khalil|first2=Lionel|title=Interaction Nets with McCarthy's Amb: Properties and Applications|journal=Nordic Journal of Computing|date=2003|volume=10|issue=2|pages=134–162|url=https://www.researchgate.net/publication/220369522}}</ref> दो प्रमुख पोर्ट और निम्नलिखित परस्पर नियमों के साथ किया गया था|
 [[File:Non-deterministic Agent.png|गैर-नियतात्मक एजेंट]]यह विशिष्ट प्रतिनिधि अस्पष्ट विकल्प का प्रतिनिधित्व करता है और इसका उपयोग किसी भी अन्य प्रतिनिधि को प्रमुख पोर्ट की मनमानी संख्या के साथ अनुकरण करने के लिए किया जा सकता है। उदाहरण के लिए, यह a को परिभाषित करने की अनुमति देता है <math>\text{ParallelOr}</math> बूलियन ऑपरेशन जो अन्य तर्कों में होने वाली गणना से स्वतंत्र होकर, यदि इसका कोई भी तर्क सत्य है, तो सत्य लौटाता है।
@@ Line 92: / Line 95: @@
 == यह भी देखें ==
-* इंटरेक्शन की ज्यामिति
+* परस्पर की ज्यामिति
 * [[ग्राफ पुनर्लेखन]]
 * लैम्ब्डा गणना
@@ Line 118: / Line 121: @@
 * {{cite web |last=Salikhmetov|first=Anton |title=JavaScript Engine for Interaction Nets|url=https://www.npmjs.com/package/inet-lib}}
 * {{cite web |last=Salikhmetov|first=Anton |title=Macro Lambda Calculus|url=https://codedot.github.io/lambda/}}
-[[Category: गणना के मॉडल]]
-[[Category: Machine Translated Page]]
+[[Category:CS1 errors]]
 [[Category:Created On 08/07/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:गणना के मॉडल]]

Anonymous

Search

इंटरेक्शन नेट: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 09:33, 27 July 2023

Contents

परिभाषा

परस्पर गणना

गुण

परस्पर कॉम्बिनेटर

गैर-नियतात्मक विस्तार

यह भी देखें

संदर्भ

अग्रिम पठन

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

इंटरेक्शन नेट: Difference between revisions

Latest revision as of 09:33, 27 July 2023

परिभाषा

परस्पर गणना

गुण

परस्पर कॉम्बिनेटर

गैर-नियतात्मक विस्तार

यह भी देखें

संदर्भ

अग्रिम पठन

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories