पोलिश संकेतन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(9 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Mathematics notation with operators preceding operands}}
{{Short description|Mathematics notation with operators preceding operands}}{{Operator notation sidebar |logo=[[File:Prefix-dia.svg|125px]]}}
{{About|गणित और कंप्यूटर विज्ञान में एक उपसर्ग संकेतन|इसी तरह नामित तर्क|लुकासिविक्ज़ तर्क}}
पोलिश संकेतन (पीएन), जिसे सामान्य पोलिश संकेतन (एनपीएन) के रूप में भी जाना जाता है।<ref name="Jorke_1989"/> लुकासिविक्ज़ संकेतन, वारसॉ संकेतन, पोलिश उपसर्ग संकेतन या बस उपसर्ग संकेतन, गणितीय संकेतन है जिसमें [[ऑपरेशन (गणित)|संचालन (गणित)]] उनके [[ओपेरंड]] को "पहले" करता है, अधिक सामान्य इन्फिक्स संकेतन के विपरीत, जिसमें प्रचालकों को बीच रखा जाता है। 'ऑपरेंड', साथ ही [[रिवर्स पोलिश नोटेशन|रिवर्स पोलिश संकेतन]] (आरपीएन), जिसमें प्रचालक अपने ऑपरेंड का 'अनुसरण' करते हैं। जब तक प्रत्येक प्रचालक के पास निश्चित संख्या होती है, तब तक इसे किसी भी कोष्ठक की आवश्यकता नहीं होती है। विवरण पोलिश तर्कशास्त्री जन लुकासिविक्ज़ की [[राष्ट्रीयता]] को संदर्भित करता है,<ref name="Łukasiewicz_1929"/><ref name="Łukasiewicz_1951"/><ref name="Łukasiewicz_1957"/><ref name="Kennedy_1982"/> जिन्होंने 1924 में पोलिश संकेतन का आविष्कार किया था।<ref name="Hamblin_1962"/><ref name="Ball_1978"/>


{{Operator notation sidebar |logo=[[File:Prefix-dia.svg|125px]]}}
पोलिश संकेतन शब्द को कभी-कभी (इन्फिक्स संकेतन के विपरीत) रिवर्स पोलिश संकेतन को भी सम्मिलित करने के लिए लिया जाता है।<ref name="Main_2006"/>
पोलिश संकेतन (पीएन), जिसे सामान्य पोलिश संकेतन (एनपीएन) के रूप में भी जाना जाता है,<ref name="Jorke_1989"/> लुकासिविक्ज़ संकेतन, वारसॉ संकेतन, पोलिश उपसर्ग संकेतन या बस उपसर्ग संकेतन, गणितीय संकेतन है जिसमें [[ऑपरेशन (गणित)]] उनके [[ओपेरंड]] को "पहले" करता है, अधिक सामान्य इन्फिक्स संकेतन के विपरीत, जिसमें प्रचालकों को बीच रखा जाता है। 'ऑपरेंड', साथ ही [[रिवर्स पोलिश नोटेशन|रिवर्स पोलिश संकेतन]] (आरपीएन), जिसमें प्रचालक अपने ऑपरेंड का 'अनुसरण' करते हैं। जब तक प्रत्येक प्रचालक के पास निश्चित संख्या होती है, तब तक इसे किसी भी कोष्ठक की आवश्यकता नहीं होती है। विवरण पोलिश तर्कशास्त्री जन लुकासिविक्ज़ की [[राष्ट्रीयता]] को संदर्भित करता है,<ref name="Łukasiewicz_1929"/><ref name="Łukasiewicz_1951"/><ref name="Łukasiewicz_1957"/><ref name="Kennedy_1982"/> जिन्होंने 1924 में पोलिश संकेतन का आविष्कार किया था।<ref name="Hamblin_1962"/><ref name="Ball_1978"/>


पोलिश संकेतन शब्द को कभी-कभी लिया जाता है (इन्फिक्स संकेतन के विपरीत) रिवर्स पोलिश संकेतन को भी सम्मिलित करने के लिए।<ref name="Main_2006"/>
जब पोलिश संकेतन [[प्रोग्रामिंग भाषा]] इंटरप्रेटर (कंप्यूटिंग) द्वारा गणितीय अभिव्यक्तियों के वाक्य-विन्यास के रूप में उपयोग किया जाता है, तो इसे सरलता से [[सार वाक्य रचना का पेड़|सार सिंटैक्स ट्री]] में पार्स किया जाता है और वास्तव में, उसी के लिए [[द्विभाजन|एक-से-एक प्रतिनिधित्व]] को परिभाषित कर सकता है। इस कारण से, [[लिस्प (प्रोग्रामिंग भाषा)|लिस्प (नीचे देखें)]] कार्यान्वयन और सम्बंधित प्रोग्रामिंग भाषा अपने पूरे वाक्य-विन्यास को प्रीफिक्स संकेतन में परिभाषित करते हैं (और अन्य अनुलग्न संकेतन का उपयोग करते हैं)।
 
जब पोलिश संकेतन [[प्रोग्रामिंग भाषा]] इंटरप्रेटर (कंप्यूटिंग) द्वारा गणितीय अभिव्यक्तियों के सिंटैक्स के रूप में उपयोग किया जाता है, तो इसे आसानी से [[सार वाक्य रचना का पेड़]] में पार्स किया जाता है और वास्तव में, [[द्विभाजन]] को परिभाषित कर सकता है। उसी के लिए एक-से-एक प्रतिनिधित्व। इस कारण से, [[लिस्प (प्रोग्रामिंग भाषा)]] (#इम्प्लीमेंटेशन) और संबंधित प्रोग्रामिंग लैंग्वेज अपने पूरे सिंटैक्स को प्रीफिक्स संकेतन में परिभाषित करते हैं (और अन्य अनुलग्न संकेतन का उपयोग करते हैं)।


== इतिहास ==
== इतिहास ==


जन लुकासिविक्ज़, निकोद की अभिगृहीत और सामान्यीकरण निगमन पर टिप्पणी, पृष्ठ 180 के पेपर का उद्धरण बताता है कि कैसे संकेतन का आविष्कार किया गया था:
जन लुकासिविक्ज़, निकोद की अभिगृहीत और सामान्यीकरण निगमन पर टिप्पणी, पृष्ठ 180 के पेपर का उद्धरण बताता है कि कैसे संकेतन का आविष्कार किया गया था: जन लुकासिविक्ज़ के एक पेपर का एक उद्धरण, निकोद के स्वयंसिद्ध पर टिप्पणी और "सामान्यीकरण निगमन" पर, पृष्ठ 180, बताता है कि कैसे संकेतन का आविष्कार किया गया था:
<blockquote>1924 में मुझे कोष्ठक-मुक्त अंकन का विचार आया। मैंने अपने लेख लुकासिविक्ज़(1), पृष्ठ में पहली बार उस संकेतन का उपयोग किया। 610, फुटनोट।</blockquote>
<blockquote>1924 में मुझे कोष्ठक-मुक्त अंकन का विचार आया। मैंने अपने लेख लुकासिविक्ज़(1), पृष्ठ में पहली बार उस संकेतन का उपयोग किया। 610, फुटनोट है।</blockquote>


लुकासिविक्ज़ द्वारा उद्धृत संदर्भ स्पष्ट रूप से [[पोलिश भाषा]] में लिथोग्राफ की गई रिपोर्ट है। लुकासिविक्ज़ रिमार्क्स ऑन निकॉड एक्सिओम एंड ऑन जेनरलाइज़िंग कटौती द्वारा रेफ़रिंग पेपर की समीक्षा 1965 में जर्नल ऑफ़ सिंबॉलिक लॉजिक में हेनरी पोगोरज़ेल्स्की हेनरी ए. पोगोरज़ेल्स्की द्वारा की गई थी।<ref name="Pogorzelski_1965"/> 1924 में मूसा शोनफिंकेल के लेख के संपादक [[हेनरिक बेहमन]],<ref name="Mengelberg"/> तर्क सूत्रों में कोष्ठकों को हटाने का विचार पहले से ही था। लुकासिविक्ज़ ने अपने पत्र में कहा कि उनका अंकन सबसे कॉम्पैक्ट और पहला रैखिक रूप से लिखा गया कोष्ठक-मुक्त संकेतन है, लेकिन पहला नहीं जैसा कि [[Gottlob Frege|गोटलॉब फ्रेज]] ने 1879 में पहले से ही अपने कोष्ठक-मुक्त [[Begriffsschrift|बेग्रिफस्च्रिफ्ट]] संकेतन का प्रस्ताव दिया था।<ref name="Gottschall_2005"/>
लुकासिविक्ज़ द्वारा उद्धृत संदर्भ स्पष्ट रूप से [[पोलिश भाषा]] में लिथोग्राफ की गई रिपोर्ट है। लुकासिविक्ज़ रिमार्क्स ऑन निकॉड एक्सिओम और ऑन "सामान्यीकरण निगमन" द्वारा रेफ़रिंग पेपर की समीक्षा 1965 में जर्नल ऑफ़ सिंबॉलिक तर्क में हेनरी ए. पोगोरज़ेल्स्की द्वारा की गई थी।<ref name="Pogorzelski_1965"/> 1924 में मूसा शोनफिंकेल के लेख के संपादक [[हेनरिक बेहमन]],<ref name="Mengelberg"/> तर्क सूत्रों में कोष्ठकों को हटाने का विचार पहले से ही था। लुकासिविक्ज़ ने अपने पत्र में कहा कि उनका अंकन सबसे सघन और पहला रैखिक रूप से लिखा गया कोष्ठक-मुक्त संकेतन है, लेकिन पहला नहीं जैसा कि [[Gottlob Frege|गोटलॉब फ्रेज]] ने 1879 में पहले से ही अपने कोष्ठक-मुक्त [[Begriffsschrift|बेग्रिफस्च्रिफ्ट]] संकेतन का प्रस्ताव दिया था।<ref name="Gottschall_2005" />


[[अलोंजो चर्च]] ने [[गणितीय तर्क]] पर अपनी क्लासिक पुस्तक में इस संकेतन का उल्लेख किया है, जो कि [[अल्फ्रेड नॉर्थ व्हाइटहेड]] और [[बर्ट्रेंड रसेल]] की तार्किक सांकेतिक प्रदर्शनी और [[गणितीय सिद्धांत]] में काम करने के विपरीत सांकेतिक प्रणाली में टिप्पणी के योग्य है।<ref name="Church_1944"/>
[[अलोंजो चर्च]] ने [[गणितीय तर्क]] पर अपनी श्रेष्ठ पुस्तक में इस संकेतन का उल्लेख किया है, जो कि [[अल्फ्रेड नॉर्थ व्हाइटहेड]] और [[बर्ट्रेंड रसेल]] की तार्किक सांकेतिक प्रदर्शनी और [[गणितीय सिद्धांत]] में काम करने के विपरीत सांकेतिक प्रणाली में टिप्पणी के योग्य है।<ref name="Church_1944"/>


लुकासिविक्ज़ की 1951 की पुस्तक में, आधुनिक औपचारिक तर्क के दृष्टिकोण से अरस्तू की सिलोजिस्टिक, उन्होंने उल्लेख किया है कि उनके संकेतन का सिद्धांत कोष्ठक से बचने के लिए फलन के तर्क से पहले फलन प्रतीकों को लिखना था और उन्होंने अपने तार्किक पत्रों में अपने अंकन को तब से नियोजित किया था 1929।<ref name="Łukasiewicz_1951"/> इसके बाद वह उदाहरण के रूप में उद्धृत करता है, 1930 का पेपर जो उसने प्रस्तावित कलन पर [[अल्फ्रेड टार्स्की]] के साथ लिखा था।<ref name="Łukasiewicz_1930"/>
लुकासिविक्ज़ की 1951 की पुस्तक में, आधुनिक औपचारिक तर्क के दृष्टिकोण से अरस्तू की सिलोजिस्टिक, उन्होंने उल्लेख किया है कि उनके संकेतन का सिद्धांत कोष्ठक से बचने के लिए फलन के तर्क से पहले फलन प्रतीकों को लिखना था और उन्होंने 1929 से अपने तार्किक पत्रों में अपने अंकन को तब से नियोजित किया था।<ref name="Łukasiewicz_1951"/> इसके बाद वह उदाहरण के रूप में 1930 का पेपर जो उसने प्रस्तावित कलन पर [[अल्फ्रेड टार्स्की]] के साथ लिखा था, वह उद्धृत करता है।<ref name="Łukasiewicz_1930"/>


जबकि अब तर्क में ज्यादा उपयोग नहीं किया जाता है,<ref name="Martínez_2011"/> पोलिश संकेतन को तब से [[कंप्यूटर विज्ञान]] में जगह मिली है।
जबकि वह अब तर्क में अधिक उपयोग नहीं किया जाता है,<ref name="Martínez_2011"/> तब से पोलिश संकेतन को [[कंप्यूटर विज्ञान]] में स्थान मिला है।


== स्पष्टीकरण ==
== स्पष्टीकरण ==
संख्या 1 और 2 को जोड़ने के लिए अभिव्यक्ति को पोलिश संकेतन में लिखा गया है {{nowrap|+ 1 2}} (उपसर्ग), अतिरिक्त के रूप में {{nowrap|1 + 2}} (इनफिक्स)अधिक जटिल अभिव्यक्तियों में, प्रचालक अभी भी अपने ऑपरेंड से पहले होते हैं, लेकिन ऑपरेंड स्वयं भी अभिव्यक्ति हो सकते हैं जिसमें फिर से प्रचालक और उनके ऑपरेंड सम्मिलित हैं। उदाहरण के लिए, अभिव्यक्ति जो पारंपरिक इंफिक्स संकेतन में लिखी जाएगी
संख्या 1 और 2 को जोड़ने के लिए अभिव्यक्ति को पोलिश संकेतन में {{nowrap|+ 1 2}} (उपसर्ग), इसके अतिरिक्त रूप में {{nowrap|1 + 2}} (इनफिक्स) लिखा गया है। अधिक जटिल अभिव्यक्तियों में, प्रचालक अभी भी अपने ऑपरेंड से पहले होते हैं, लेकिन ऑपरेंड स्वयं भी अभिव्यक्ति हो सकते हैं जिसमें फिर से प्रचालक और उनके ऑपरेंड सम्मिलित हैं। उदाहरण के लिए, अभिव्यक्ति जो पारंपरिक इंफिक्स संकेतन में लिखी जाएगी
{{block indent|(5 − 6) × 7}}
{{block indent|(5 − 6) × 7}}
पोलिश संकेतन में लिखा जा सकता है
पोलिश संकेतन में लिखी जा सकता है
{{block indent|× (− 5 6) 7}}
{{block indent|× (− 5 6) 7}}
सभी सम्मिलित प्रचालकों के दिए गए एकता को मानते हुए (यहां - घटाव के बाइनरी ऑपरेशन को दर्शाता है, साइन-चेंज के यूनरी फलन को नहीं), कोई भी अच्छी तरह से गठित उपसर्ग प्रतिनिधित्व स्पष्ट है, और उपसर्ग अभिव्यक्ति के अंदर कोष्ठक अनावश्यक हैं। इस प्रकार, उपरोक्त अभिव्यक्ति को और सरल बनाया जा सकता है
सभी सम्मिलित प्रचालकों के दिए गए एकता को मानते हुए (यहां - घटाव के बाइनरी संचालन को दर्शाता है, चिन्ह-परिवर्तन के यूनरी फलन को नहीं), कोई भी अच्छी तरह से गठित उपसर्ग प्रतिनिधित्व स्पष्ट है, और उपसर्ग अभिव्यक्ति के अंदर कोष्ठक अनावश्यक हैं। इस प्रकार, उपरोक्त अभिव्यक्ति को और सरल बनाया जा सकता है
{{block indent|× − 5 6 7}}
{{block indent|× − 5 6 7}}
उत्पाद के प्रसंस्करण को तब तक के लिए टाल दिया जाता है जब तक कि इसके दो ऑपरेंड उपलब्ध नहीं हो जाते (तथापि, 5 - 6, और 7)किसी भी संकेतन के साथ, अंतरतम अभिव्यक्तियों का मूल्यांकन पहले किया जाता है, लेकिन पोलिश संकेतन में इस अंतरतम-नेस को ब्रैकेटिंग के अतिरिक्त प्रचालकों और ऑपरेंडों के अनुक्रम द्वारा व्यक्त किया जा सकता है।
उत्पाद के प्रसंस्करण को तब तक के लिए टाल दिया जाता है जब तक कि इसके दो ऑपरेंड (तथापि, 5 - 6, और 7) उपलब्ध नहीं हो जाते। किसी भी संकेतन के साथ, अंतरतम अभिव्यक्तियों का मूल्यांकन पहले किया जाता है, लेकिन पोलिश संकेतन में इस अंतरतम-नेस को कोष्ठकों के अतिरिक्त प्रचालकों और ऑपरेंडों के अनुक्रम द्वारा व्यक्त किया जा सकता है।


'''उत्पाद के प्रसंस्करण को तब तक के लिए टाल दिया जाता है जब तक कि इसके दो ऑपरेंड उपलब्ध नहीं हो जाते (तथापि, 5 - 6, और 7)। किसी भी संकेतन के साथ, अंतरतम अभिव्यक्तियों का मूल्यांकन पहले किया जाता है, लेकिन पोलिश संकेतन में इस अंतरतम-नेस को ब्रैकेटिंग के अतिरिक्त प्रचालकों और ऑपरेंडों के अनुक्रम द्वारा व्यक्त किया जा सकता है।'''
पारंपरिक इन्फिक्स संकेतन में, संचालन के मानक क्रम को ओवरराइड करने के लिए कोष्ठक की आवश्यकता होती है, क्योंकि, उपरोक्त उदाहरण की बात करते हुए, उन्हें स्थानांतरित करना
 
पारंपरिक इन्फिक्स संकेतन में, संचालन के मानक क्रम को ओवरराइड करने के लिए कोष्ठक की आवश्यकता होती है, क्योंकि, उपरोक्त उदाहरण का जिक्र करते हुए, उन्हें स्थानांतरित करना
{{block indent|5 − (6 × 7)}}
{{block indent|5 − (6 × 7)}}
या उन्हें हटा रहा है
या उन्हें हटाना
{{block indent|5 − 6 × 7}}
{{block indent|5 − 6 × 7}}
अभिव्यक्ति के अर्थ और परिणाम को बदल देता है। यह संस्करण पोलिश संकेतन में लिखा गया है
अभिव्यक्ति के अर्थ और परिणाम को परिवर्तित कर देता है। यह संस्करण पोलिश संकेतन में लिखा गया है
{{block indent|− 5 × 6 7.}}
{{block indent|− 5 × 6 7.}}
विभाजन या घटाव जैसे गैर-कम्यूटेटिव संचालन से निपटने के दौरान, प्रचालकों की अनुक्रमिक व्यवस्था को इस परिभाषा के साथ समन्वयित करना आवश्यक है कि प्रचालक अपने तर्कों को कैसे लेता है, तथापि बाएं से दाएं। उदाहरण के लिए, {{nowrap|÷ 10 5}}, 5 के बाईं ओर 10 के साथ, 10 ÷ 5 का अर्थ है (10 को 5 से विभाजित करें के रूप में पढ़ें), या {{nowrap|− 7 6}}, 7 बायें से 6 के साथ, 7 − 6 का अर्थ है (7 ऑपरेंड 6 से घटाना के रूप में पढ़ें)
विभाजन या घटाव जैसे गैर-कम्यूटेटिव संचालन से निपटने के समय, प्रचालकों की अनुक्रमिक व्यवस्था को इस परिभाषा के साथ समन्वयित करना आवश्यक है कि प्रचालक अपने तर्कों को कैसे तथापि बाएं से दाएं लेता है। उदाहरण के लिए, {{nowrap|÷ 10 5}}, 5 के बाईं ओर 10 के साथ, 10 ÷ 5 का अर्थ (10 को 5 से विभाजित करें के रूप में पढ़ें) है, या {{nowrap|− 7 6}}, 7 बायें से 6 के साथ, 7 − 6 का अर्थ (7 ऑपरेंड 6 से घटाना के रूप में पढ़ें) है।


== मूल्यांकन एल्गोरिथ्म ==
== मूल्यांकन एल्गोरिथ्म ==
उपसर्ग/उपसर्ग संकेतन विशेष रूप से कोष्ठकों और अन्य पूर्ववर्ती नियमों की आवश्यकता के बिना संचालन के इच्छित क्रम को व्यक्त करने की अपनी सहज क्षमता के लिए लोकप्रिय है, जैसा कि सामान्यतः इन्फिक्स संकेतन के साथ नियोजित किया जाता है। इसके अतिरिक्त, संकेतन विशिष्ट रूप से इंगित करता है कि किस प्रचालक को पहले मूल्यांकन करना है। यह माना जाता है कि प्रत्येक प्रचालक के पास निश्चित संख्या है, और सभी आवश्यक ऑपरेंड को स्पष्ट रूप से दिया गया माना जाता है। वैध उपसर्ग अभिव्यक्ति हमेशा प्रचालक के साथ प्रारंभ होती है और ऑपरेंड के साथ समाप्त होती है। मूल्यांकन या तो बाएं से दाएं या विपरीत दिशा में आगे बढ़ सकता है। बाईं ओर से प्रारंभ करते हुए, इनपुट स्ट्रिंग, जिसमें प्रचालक या ऑपरेंड को दर्शाने वाले टोकन सम्मिलित हैं, को स्टैक (सार डेटा प्रकार) पर टोकन के लिए टोकन के लिए धकेल दिया जाता है, जब तक कि स्टैक की शीर्ष प्रविष्टियों में ऑपरेंड की संख्या नहीं होती है जो सबसे शीर्ष प्रचालक के लिए फिट होती है। (तुरंत नीचे)। स्टैकटॉप पर टोकन का यह समूह (अंतिम स्टैक्ड प्रचालक और ऑपरेंड की संख्या के अनुसार) इन/इस ऑपरेंड पर प्रचालक को निष्पादित करने के परिणाम से प्रतिस्थापित किया जाता है। फिर इनपुट की प्रोसेसिंग इसी तरह से चलती रहती है। मान्य उपसर्ग अभिव्यक्ति में सबसे दाहिना ऑपरेंड इस प्रकार संपूर्ण अभिव्यक्ति के मूल्यांकन के परिणाम को छोड़कर, स्टैक को खाली कर देता है। दाईं ओर से प्रारंभ करते समय, टोकन को धक्का देना समान रूप से किया जाता है, बस प्रचालक द्वारा मूल्यांकन को ट्रिगर किया जाता है, उचित संख्या में ऑपरेंड ढूंढता है जो स्टैकटॉप पर पहले से ही फिट बैठता है। अब मान्य उपसर्ग अभिव्यक्ति का सबसे बायाँ टोकन प्रचालक होना चाहिए, जो स्टैक में ऑपरेंड की संख्या के अनुरूप हो, जो फिर से परिणाम देता है। जैसा कि विवरण से देखा जा सकता है, [[नियतात्मक पुशडाउन ऑटोमेटन]] पुश-डाउन भंडार जिसमें मनमानी स्टैक निरीक्षण की कोई क्षमता नहीं है, इस [[पदच्छेद]] को प्रस्तुत करने के लिए पर्याप्त है।
'''उपसर्ग/'''उपसर्ग संकेतन विशेष रूप से कोष्ठकों और अन्य पूर्ववर्ती नियमों की आवश्यकता के बिना संचालन के इच्छित क्रम को व्यक्त करने की अपनी सहज क्षमता के लिए लोकप्रिय है, जैसा कि सामान्यतः इन्फिक्स संकेतन के साथ नियोजित किया जाता है। इसके अतिरिक्त, संकेतन विशिष्ट रूप से किस प्रचालक को पहले मूल्यांकन करना है, यह इंगित करता है। यह माना जाता है कि प्रत्येक प्रचालक के पास निश्चित संख्या है, और सभी आवश्यक ऑपरेंड को स्पष्ट रूप से दिया गया माना जाता है। वैध उपसर्ग अभिव्यक्ति हमेशा प्रचालक के साथ प्रारंभ होती है और ऑपरेंड के साथ समाप्त होती है। मूल्यांकन या तो बाएं से दाएं या विपरीत दिशा में आगे बढ़ सकता है। बाईं ओर से प्रारंभ करते हुए, इनपुट स्ट्रिंग, जिसमें प्रचालक या ऑपरेंड को दर्शाने वाले टोकन सम्मिलित हैं, स्टैक (सार डेटा प्रकार) पर टोकन के लिए धकेल दिया जाता है, जब तक कि स्टैक की शीर्ष प्रविष्टियों में ऑपरेंड की संख्या नहीं होती है जो सबसे शीर्ष प्रचालक के लिए उपयुक्त होती है। स्टैकटॉप पर टोकन का यह समूह (अंतिम स्टैक्ड प्रचालक और ऑपरेंड की संख्या के अनुसार) इन/इस ऑपरेंड पर प्रचालक को निष्पादित करने के परिणाम से प्रतिस्थापित किया जाता है। फिर इनपुट की प्रोसेसिंग इसी तरह से चलती रहती है। मान्य उपसर्ग अभिव्यक्ति में सबसे दाहिना ऑपरेंड इस प्रकार संपूर्ण अभिव्यक्ति के मूल्यांकन के परिणाम को छोड़कर, स्टैक को खाली कर देता है। दाईं ओर से प्रारंभ करते समय, टोकन को धक्का देना समान रूप से किया जाता है, बस प्रचालक द्वारा मूल्यांकन को ट्रिगर किया जाता है, उचित संख्या में ऑपरेंड ढूंढता है जो स्टैकटॉप पर पहले से ही सही बैठता है। अब मान्य उपसर्ग अभिव्यक्ति का सबसे बायाँ टोकन प्रचालक होना चाहिए, जो स्टैक में ऑपरेंड की संख्या के अनुरूप हो, जो फिर से परिणाम देता है। जैसा कि विवरण से देखा जा सकता है, [[नियतात्मक पुशडाउन ऑटोमेटन]] पुश-डाउन भंडार जिसमें मनमानी स्टैक निरीक्षण की कोई क्षमता नहीं है, इस [[पदच्छेद]] को प्रस्तुत करने के लिए पर्याप्त है।


उपरोक्त स्केच किए गए ढेर में हेरफेर का काम करता है - मिरर किए गए इनपुट के साथ - रिवर्स पोलिश संकेतन में अभिव्यक्ति के लिए भी।
उपरोक्त स्केच किए गए ढेर में मिरर किए गए इनपुट के साथ - रिवर्स पोलिश संकेतन में अभिव्यक्ति के लिए हेरफेर का काम करता है।


== तर्क के लिए पोलिश संकेतन ==
== तर्क के लिए पोलिश संकेतन ==
Line 82: Line 77:
|[[Existential quantification|अस्तित्वगत परिमाणक]]||<math>\exists p\,\varphi</math>||<math>\Sigma p\,\varphi</math>||{{lang|pl|kwantyfikator szczegółowy}}
|[[Existential quantification|अस्तित्वगत परिमाणक]]||<math>\exists p\,\varphi</math>||<math>\Sigma p\,\varphi</math>||{{lang|pl|kwantyfikator szczegółowy}}
|}
|}
ध्यान दें कि [[परिमाणक (तर्क)]]'''तर्क)''' कई-मूल्यवान लॉजिक्स पर लुकासिविक्ज़ के काम में प्रस्तावित मूल्यों से अधिक है।
ध्यान दें कि [[परिमाणक (तर्क)]] कई-मूल्यवान तर्कों पर लुकासिविक्ज़ के काम में प्रस्तावित मूल्यों से अधिक है।


जोज़ेफ़ मारिया '''बोचेंस्की |''' बोचेंस्की ने पोलिश संकेतन की प्रणाली की प्रारंभ की, जो शास्त्रीय प्रस्तावपरक तर्क के सभी 16 द्विआधारी [[तार्किक संयोजक]] का नाम है। शास्त्रीय प्रस्तावपरक तर्क के लिए, यह लुकासिविक्ज़ के अंकन का संगत विस्तार है। लेकिन संकेतन इस अर्थ में असंगत हैं कि बोचेंस्की [[मक तर्क|प्रस्तावपरक तर्क]] में एल और एम (गैर-निम्नीकरण और विलोम गैर-निम्नीकरण के लिए) का उपयोग करता है और लुकासिविक्ज़ मोडल तर्क में एल और एम का उपयोग करता है।<ref name="Bocheński_1959"/>
जोज़ेफ़ मारिया बोचेंस्की ने पोलिश संकेतन की प्रणाली की प्रारंभ की, जो शास्त्रीय प्रस्तावपरक तर्क के सभी 16 द्विआधारी [[तार्किक संयोजक]] का नाम है। शास्त्रीय प्रस्तावपरक तर्क के लिए, यह लुकासिविक्ज़ के अंकन का संगत विस्तार है। लेकिन संकेतन इस अर्थ में असंगत हैं कि बोचेंस्की [[मक तर्क|प्रस्तावपरक तर्क]] में L और M (गैर-निम्नीकरण और विलोम गैर-निम्नीकरण के लिए) का उपयोग करता है और लुकासिविक्ज़ मोडल तर्क में L और M का उपयोग करता है।<ref name="Bocheński_1959"/>




== कार्यान्वयन ==
== कार्यान्वयन ==
लिस्प (प्रोग्रामिंग लैंग्वेज) [[s-भाव|एस-भाव]] में उपसर्ग संकेतन का व्यापक अनुप्रयोग देखा गया है, जहां ब्रैकेट की आवश्यकता होती है क्योंकि भाषा में प्रचालक स्वयं डेटा (प्रथम श्रेणी के कार्य) होते हैं। लिस्प फलनों [[वैराडिक फ़ंक्शन|वैराडिक फलन]] भी हो सकते हैं। [[टीसीएल]] प्रोग्रामिंग लैंग्वेज, लिस्प की तरह ही मैथोप लाइब्रेरी के माध्यम से पोलिश संकेतन का उपयोग करती है। अम्बी<ref name="Ambi"/> प्रोग्रामिंग भाषा अंकगणितीय संचालन और कार्यक्रम निर्माण के लिए पोलिश संकेतन का उपयोग करती है। [[एलडीएपी]] फ़िल्टर सिंटैक्स पोलिश उपसर्ग संकेतन का उपयोग करता है।<ref name="LDAPSyntax"/>
लिस्प (प्रोग्रामिंग भाषा) [[s-भाव|एस-भाव]] में उपसर्ग संकेतन का व्यापक अनुप्रयोग देखा गया है, जहां कोष्ठक की आवश्यकता होती है क्योंकि भाषा में प्रचालक स्वयं डेटा (प्रथम श्रेणी के कार्य) होते हैं। लिस्प फलनों [[वैराडिक फ़ंक्शन|वैराडिक फलन]] भी हो सकते हैं। [[टीसीएल]] प्रोग्रामिंग भाषा, लिस्प की तरह ही मैथोप पुस्तकालय के माध्यम से पोलिश संकेतन का उपयोग करती है। अम्बी<ref name="Ambi"/> प्रोग्रामिंग भाषा अंकगणितीय संचालन और कार्यक्रम निर्माण के लिए पोलिश संकेतन का उपयोग करती है। [[एलडीएपी]] फ़िल्टर वाक्य-विन्यास पोलिश उपसर्ग संकेतन का उपयोग करता है।<ref name="LDAPSyntax"/>


'''लिस्प (प्रोग्रामिंग लैंग्वेज) [[s-भाव|एस-भाव]] में उपसर्ग संकेतन का व्यापक अनुप्रयोग देखा गया है, जहां ब्रैकेट की आवश्यकता होती है क्योंकि भाषा में प्रचालक स्वयं डेटा (प्रथम श्रेणी के कार्य) होते हैं। लिस्प फलनों [[वैराडिक फ़ंक्शन|वैराडिक फलन]] भी हो सकते हैं। [[टीसीएल]] प्रोग्रामिंग लैंग्वेज, लिस्प की तरह ही मैथोप लाइब्रेरी के माध्यम से पोलिश संकेतन का उपयोग करती है। अम्बी<ref name="Ambi" /> प्रोग्रामिंग भाषा अंकगणितीय संचालन और कार्यक्रम निर्माण के लिए पोलिश संकेतन का उपयोग करती है। [[एलडीएपी]] फ़िल्टर सिंटैक्स पोलिश उपसर्ग संकेतन का उपयोग करता है।<ref name="LDAPSyntax" />'''
अनुलग्न संकेतन का उपयोग कई [[स्टैक-उन्मुख प्रोग्रामिंग भाषा]] जैसे [[परिशिष्ट भाग]] और [[फोर्थ (प्रोग्रामिंग भाषा)]] में किया जाता है। [[कॉफीस्क्रिप्ट]] वाक्य-विन्यास भी फलन को उपसर्ग संकेतन का उपयोग करने की अनुमति देता है, जबकि अभी भी अन्य भाषाओं में यूनरी अनुलग्न वाक्य-विन्यास का समर्थन करता है।
 
अनुलग्न संकेतन का उपयोग कई [[स्टैक-उन्मुख प्रोग्रामिंग भाषा]] जैसे [[परिशिष्ट भाग]] और [[फोर्थ (प्रोग्रामिंग भाषा)]] में किया जाता है। [[कॉफीस्क्रिप्ट]] सिंटैक्स भी फलन को प्रीफ़िक्स संकेतन का उपयोग करने की अनुमति देता है, जबकि अभी भी अन्य भाषाओं में यूनरी अनुलग्न सिंटैक्स का समर्थन करता है।


किसी अभिव्यक्ति के वापसी मूल्य की संख्या अभिव्यक्ति में ऑपरेंड की संख्या और प्रचालकों की कुल संख्या के बीच के अंतर के बराबर होती है, जो प्रचालकों के वापसी मूल्य की कुल संख्या को घटाती है।
किसी अभिव्यक्ति के वापसी मूल्य की संख्या अभिव्यक्ति में ऑपरेंड की संख्या और प्रचालकों की कुल संख्या के बीच के अंतर के बराबर होती है, जो प्रचालकों के वापसी मूल्य की कुल संख्या को घटाती है।


पोलिश संकेतन, सामान्यतः अनुलग्न रूप में, कुछ [[कैलकुलेटर]]ों का चुना हुआ संकेतन है, विशेष रूप से [[एचपी कैलकुलेटर]] | हेवलेट-पैकर्ड से।<ref name="RPN_HP35S" /> निचले स्तर पर, अनुलग्न प्रचालकों का उपयोग कुछ [[स्टैक मशीनें]] जैसे [[बरोज़ लार्ज सिस्टम्स|बरोज़ लार्ज प्रणाली्स]] द्वारा किया जाता है।
पोलिश संकेतन, सामान्यतः अनुलग्न रूप में, कुछ [[कैलकुलेटर]] विशेष रूप से [[एचपी कैलकुलेटर]] का चुना हुआ संकेतन है | हेवलेट-पैकर्ड से<ref name="RPN_HP35S" /> निचले स्तर पर, अनुलग्न प्रचालकों का उपयोग कुछ [[स्टैक मशीनें]] जैसे [[बरोज़ लार्ज सिस्टम्स|बरोज़ लार्ज प्रणालियों]] द्वारा किया जाता है।


== यह भी देखें ==
== यह भी देखें ==
{{cols|colwidth=26em}}
{{cols|colwidth=26em}}
* रिवर्स पोलिश संकेतन (आरपीएन)
* रिवर्स पोलिश संकेतन (आरपीएन)
* [[समारोह आवेदन]]
* [[फलन आवेदन]]
* [[लैम्ब्डा कैलकुलस]]
* [[लैम्ब्डा कैलकुलस]]
* [[करी]]
* [[करी]]
* लिस्प (प्रोग्रामिंग भाषा)
* लिस्प (प्रोग्रामिंग भाषा)
** [[एस-अभिव्यक्ति]]
* [[एस-अभिव्यक्ति]]
* [[पोलिश स्कूल ऑफ मैथमैटिक्स]]
* [[पोलिश स्कूल ऑफ मैथमैटिक्स]]
* [[हंगेरियन संकेतन]]
* [[हंगेरियन संकेतन]]
* क्रिया-विषय-वस्तु (वीएसओ)
* क्रिया-विषय-वस्तु (वीएसओ)
* क्रिया-वस्तु-विषय (वीओएस**)
* क्रिया-वस्तु-विषय (वीओएस)
* [[सिर-दिशात्मकता पैरामीटर]]
* [[सिर-दिशात्मकता पैरामीटर]]
* डब्ल्यूएफएफ 'एन प्रूफ
* डब्ल्यूएफएफ 'एन प्रूफ
Line 149: Line 142:
* {{Commonscatinline|Polish notation (mathematics)}}
* {{Commonscatinline|Polish notation (mathematics)}}


{{DEFAULTSORT:Polish Notation}}[[Category: गणितीय अंकन]] [[Category: पोलिश आविष्कार]] [[Category: पोलैंड में विज्ञान और प्रौद्योगिकी]] [[Category: ऑपरेटर्स (प्रोग्रामिंग)]] [[Category: तार्किक भाव]]
{{DEFAULTSORT:Polish Notation}}
 
 


[[Category: Machine Translated Page]]
[[Category:Articles containing Polish-language text|Polish Notation]]
[[Category:Created On 03/02/2023]]
[[Category:CS1 Deutsch-language sources (de)|Polish Notation]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 location test|Polish Notation]]
[[Category:CS1 polski-language sources (pl)]]
[[Category:Created On 03/02/2023|Polish Notation]]
[[Category:Lua-based templates|Polish Notation]]
[[Category:Machine Translated Page|Polish Notation]]
[[Category:Multi-column templates|Polish Notation]]
[[Category:Pages that use a deprecated format of the math tags|Polish Notation]]
[[Category:Pages using div col with small parameter|Polish Notation]]
[[Category:Pages with script errors|Polish Notation]]
[[Category:Short description with empty Wikidata description|Polish Notation]]
[[Category:Templates Vigyan Ready|Polish Notation]]
[[Category:Templates that add a tracking category|Polish Notation]]
[[Category:Templates that generate short descriptions|Polish Notation]]
[[Category:Templates using TemplateData|Polish Notation]]
[[Category:Templates using under-protected Lua modules|Polish Notation]]
[[Category:Wikipedia fully protected templates|Div col]]
[[Category:ऑपरेटर्स (प्रोग्रामिंग)|Polish Notation]]
[[Category:गणितीय अंकन|Polish Notation]]
[[Category:तार्किक भाव|Polish Notation]]
[[Category:पोलिश आविष्कार|Polish Notation]]
[[Category:पोलैंड में विज्ञान और प्रौद्योगिकी|Polish Notation]]

Latest revision as of 20:01, 9 February 2023

पोलिश संकेतन (पीएन), जिसे सामान्य पोलिश संकेतन (एनपीएन) के रूप में भी जाना जाता है।[1] लुकासिविक्ज़ संकेतन, वारसॉ संकेतन, पोलिश उपसर्ग संकेतन या बस उपसर्ग संकेतन, गणितीय संकेतन है जिसमें संचालन (गणित) उनके ओपेरंड को "पहले" करता है, अधिक सामान्य इन्फिक्स संकेतन के विपरीत, जिसमें प्रचालकों को बीच रखा जाता है। 'ऑपरेंड', साथ ही रिवर्स पोलिश संकेतन (आरपीएन), जिसमें प्रचालक अपने ऑपरेंड का 'अनुसरण' करते हैं। जब तक प्रत्येक प्रचालक के पास निश्चित संख्या होती है, तब तक इसे किसी भी कोष्ठक की आवश्यकता नहीं होती है। विवरण पोलिश तर्कशास्त्री जन लुकासिविक्ज़ की राष्ट्रीयता को संदर्भित करता है,[2][3][4][5] जिन्होंने 1924 में पोलिश संकेतन का आविष्कार किया था।[6][7]

पोलिश संकेतन शब्द को कभी-कभी (इन्फिक्स संकेतन के विपरीत) रिवर्स पोलिश संकेतन को भी सम्मिलित करने के लिए लिया जाता है।[8]

जब पोलिश संकेतन प्रोग्रामिंग भाषा इंटरप्रेटर (कंप्यूटिंग) द्वारा गणितीय अभिव्यक्तियों के वाक्य-विन्यास के रूप में उपयोग किया जाता है, तो इसे सरलता से