جدول المحتويات:
تعريف - ما معنى دلالات الدلالة؟
في علم الحاسوب ، فإن دلالات الدلالة هي طريقة لتوفير معنى رياضي للأنظمة ولغات البرمجة. بمعنى آخر ، فإن دلالات الدلالة هي تقنية رسمية للتعبير عن التعريف الدلالي للغة البرمجة.
وضعت في 1960s في جامعة أكسفورد من قبل مجموعة أبحاث البرمجة كريستوفر ستراشي ، وتشمل المنهجية الأناقة العلمية والصلابة الرياضية. على الرغم من أنه تم تصميمه في البداية كأداة تحليل ، فقد تم استخدام دلالات الدلالة كأداة للتنفيذ وتصميم اللغة.
تيكوبيديا توضح دلالات الدلالة
في الدلالات المعرفية ، تتمثل الفكرة الأساسية في تعيين كل كيان نحوي مرتبط بلغة برمجة في شكل ما من أشكال الكيان الرياضي ، وترجمة بنيات لغة البرمجة إلى كائنات رياضية.
يحتوي التعريف الدلالي الدلالي على خمسة أجزاء:
- المعادلات الدلالية
- فئات النحوية
- وظائف الدلالي
- Backus النموذج العادي (BNF) تحديد بنية الفئات النحوية
- مجالات القيمة
تم تطوير دلالات الدلالة للغات الحديثة التي تحتوي على ميزات مثل الاستثناءات والتزامن. واحدة من السمات المهمة للدلالات الدلالة هي أن الدلالات يجب أن تكون تركيبية ، مما يعني أنه يمكن تكوين دلالة عبارة البرمجة من دلالات العبارات الفرعية.
هناك بعض المزايا المتميزة المرتبطة بالدلالات الدلالة. إنها أسهل آلية لوصف معنى البرامج الأصغر مقارنة بالبدائل الأخرى. دلالات الدلالة هي قادرة على شرح الحالة في البرامج. ومع ذلك ، تميل دلالات الدلالة إلى أن تكون معقدة للغاية لوصف الميزات المتقدمة مثل عبارات goto والإعادة.
