ऑपरेशनल सिमेंटिक्स
ऑपरेशनल सिमेंटिक्स एक प्रोग्राम के अर्थ को यह निर्दिष्ट करके परिभाषित करता है कि यह कैसे निष्पादित होता है, जिसमें संगणना के चरणों का वर्णन करने वाले अनुमान नियमों का उपयोग किया जाता है।
Definition
ऑपरेशनल सिमेंटिक्स एक प्रोग्राम के अर्थ को उसके द्वारा किए गए संगणना चरणों के अनुक्रम के रूप में निर्दिष्ट करता है, जो प्रोग्राम कॉन्फ़िगरेशन पर आगमनात्मक रूप से परिभाषित संक्रमण संबंधों द्वारा दिया जाता है।
Scope
यह विषय छोटे-चरण (संरचनात्मक) और बड़े-चरण (प्राकृतिक) ऑपरेशनल सिमेंटिक्स को शामिल करता है, जिसमें सिंटैक्स-निर्देशित अनुमान नियमों द्वारा परिभाषित संक्रमण या मूल्यांकन संबंध यह वर्णन करते हैं कि प्रोग्राम कैसे संगणना करते हैं। यह न्यूनीकरण रणनीतियों, अमूर्त मशीनों और ऑपरेशनल परिभाषाएँ प्रकार की सुदृढ़ता और प्रोग्राम तुल्यता के प्रमाणों का कैसे समर्थन करती हैं, इस पर भी चर्चा करता है।
Core questions
- अनुमान नियम संगणना के चरणों को कैसे कैप्चर करते हैं?
- छोटे-चरण और बड़े-चरण सिमेंटिक्स में क्या अंतर है?
- ऑपरेशनल सिमेंटिक्स सुदृढ़ता और तुल्यता प्रमाणों का कैसे समर्थन करता है?
- अमूर्त मशीनें नियम-आधारित ऑपरेशनल परिभाषाओं से कैसे संबंधित हैं?
Key theories
- संरचनात्मक ऑपरेशनल सिमेंटिक्स
- प्लॉटकिन भाषा के सिंटैक्स द्वारा संरचित छोटे-चरण संक्रमण नियमों द्वारा निष्पादन को परिभाषित करता है, जो प्रत्येक निर्माण के संगणना के तरीके का एक रचनात्मक, सिंटैक्स-निर्देशित विवरण देता है।
- प्राकृतिक (बड़े-चरण) सिमेंटिक्स
- कान का प्राकृतिक सिमेंटिक्स मूल्यांकन नियमों के माध्यम से एक प्रोग्राम को सीधे उसके अंतिम परिणाम से जोड़ता है, मध्यवर्ती चरणों को अमूर्त करता है और कुछ प्रमाणों को आसान बनाता है।
Clinical relevance
ऑपरेशनल सिमेंटिक्स वास्तविक भाषा व्यवहार को निर्दिष्ट करने और कंपाइलर और इंटरप्रेटर को सही साबित करने के लिए मानक उपकरण है। इसकी नियम-आधारित शैली कार्यान्वयन के साथ निकटता से मेल खाती है और मशीन-जांच की गई भाषा मेटाथ्योरी का आधार है।
History
ऑपरेशनल विचार भाषाओं की प्रारंभिक इंटरप्रेटर-आधारित परिभाषाओं में दिखाई दिए। प्लॉटकिन के 1981 के आरहूस नोट्स ने संरचनात्मक ऑपरेशनल सिमेंटिक्स को एक कठोर, सिंटैक्स-निर्देशित ढाँचे के रूप में स्थापित किया, और कान के 1987 के प्राकृतिक सिमेंटिक्स ने एक बड़े-चरण विकल्प की पेशकश की। साथ मिलकर वे प्रोग्रामिंग भाषाओं को परिभाषित करने और उनके बारे में तर्क करने के लिए प्रमुख दृष्टिकोण बन गए।
Debates
- छोटे-चरण बनाम बड़े-चरण सूत्र
- सिमेंटिसिस्ट छोटे-चरण सिमेंटिक्स, जो मध्यवर्ती अवस्थाओं को उजागर करते हैं और गैर-समाप्ति और समवर्तीता को स्वाभाविक रूप से संभालते हैं, और बड़े-चरण सिमेंटिक्स, जो संक्षिप्त होते हैं लेकिन भिन्न या अंतर्निहित संगणना के लिए कम उपयुक्त होते हैं, के बीच चयन करते हैं।
Key figures
- Gordon Plotkin
- Gilles Kahn
- Glynn Winskel
- Matthias Felleisen
Related topics
Seminal works
- plotkin1981
- kahn1987
- winskel1993
Frequently asked questions
- छोटे-चरण और बड़े-चरण सिमेंटिक्स में क्या अंतर है?
- छोटे-चरण सिमेंटिक्स व्यक्तिगत संगणना चरणों और उनके बीच की मध्यवर्ती अवस्थाओं का वर्णन करता है, जबकि बड़े-चरण सिमेंटिक्स एक प्रोग्राम को सीधे उसके अंतिम मान से जोड़ता है, बीच के चरणों को छिपाता है।
- ऑपरेशनल सिमेंटिक्स सुदृढ़ता साबित करने के लिए क्यों उपयोगी है?
- क्योंकि यह निष्पादन के चरणों को स्पष्ट करता है, यह प्रगति-और-संरक्षण विधि के साथ स्वाभाविक रूप से जुड़ता है, जो इस बात पर तर्क करता है कि एक प्रोग्राम प्रत्येक चरण को कैसे लेता है, यह टाइपिंग कैसे बनाए रखी जाती है।