प्रोग्रामिंग भाषाओं के औपचारिक शब्दार्थ

Question

मैं प्रोग्रामिंग भाषाओं के सिद्धांत के लिए नया हूं और मैं प्रोग्रामिंग भाषाओं के औपचारिक शब्दार्थ के लिए एक संसाधन पर एक अच्छे संसाधन की तलाश कर रहा हूं। विशेष रूप से संरचनात्मक परिचालन शब्दार्थ की तलाश में। मुझे कुछ पुस्तक सिफारिशें मिलीं। लेकिन मैं एक अधिक परिचयात्मक स्तर में एक संसाधन की तलाश कर रहा हूं। विशेष रूप से ट्यूटोरियल, वेब-साइट और मुफ्त पुस्तक सिफारिशों का स्वागत किया जाता है।

Comments

देखें cstheory.stackexchange.com/questions/3533/...

— डेव क्लार्क

मैं ठीक उसी लिंक को पोस्ट करने जा रहा था, लेकिन फिर देखा कि ओपी ने पहले ही उल्लेख किया है कि उनके पास बुक रिकोस है, और अन्य संदर्भों की तलाश में थे

— सुरेश वेंकट

Answer 1

मेरे विश्वविद्यालय में परिचालन शब्दार्थ पाठ्यक्रम को देखते हुए निम्नलिखित तीन दिए गए हैं:

• एंड्रयू पिट्स के व्याख्यान नोट
• गॉर्डन प्लॉटकिन के आरहूस संरचनात्मक परिचालन शब्दार्थ पर ध्यान देते हैं
• मैथ्यू हेनेसी की प्रोग्रामिंग भाषाओं के शब्दार्थ

ओहद।

Answer 2

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

जैसे कि, अन्य आवश्यकता के बिना, हम जिन गणितीय संस्थाओं को एसओएस में मानते हैं, वे अपने आप में दिलचस्प / ट्रैक्टेबल होने के लिए बहुत सामान्य हैं।

एसओएस दिलचस्प और पर्याप्त हो जाता है जब हम विशेष मामलों को देखते हैं, उदाहरण के लिए समयबद्ध-गणना के लिए तुल्यता, घटाव के अनुरूप अतुल्यकालिक परिवेश पथरी के लिए लेबल किए गए संक्रमण या कुछ (वर्गों की) गणना के बारे में प्रश्न।

तो श्री / सुश्री Systemfault के लिए मेरी सिफारिश सामान्यताओं को छोड़ और सही ब्याज की विशिष्ट गणना में कूदने के लिए है। जनरल एसओएस तकनीकों को आसानी से रास्ते से उठाया जा सकता है।

Answer 3

मैं इस डाउनलोड किताब में अध्याय 2 पढ़ने की सलाह दूंगा:

अनुप्रयोगों के साथ शब्दार्थ: एक औपचारिक परिचय, हैने रीस नील्सन और फ्लेमिंग नील्सन, विले, 1992। http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html