علم الدلالة

مؤلف: Monica Porter
تاريخ الخلق: 21 مارس 2021
تاريخ التحديث: 25 يونيو 2024
Anonim
محاضرات في علم الدلالة الدرس الأول د. علي الطاهر
فيديو: محاضرات في علم الدلالة الدرس الأول د. علي الطاهر

المحتوى

تعريف - ما معنى دلالات الدلالة؟

في علم الحاسوب ، فإن دلالات الدلالة هي طريقة لتوفير معنى رياضي للأنظمة ولغات البرمجة. بمعنى آخر ، فإن دلالات الدلالة هي تقنية رسمية للتعبير عن التعريف الدلالي للغة البرمجة.


وضعت في 1960s في جامعة أكسفورد من قبل مجموعة أبحاث البرمجة كريستوفر Stracheys ، المنهجية تضم أناقة افتراضية والصلابة الرياضية. على الرغم من أنه تم تصميمه في البداية كأداة تحليل ، فقد تم استخدام دلالات الدلالة كأداة للتنفيذ وتصميم اللغة.

مقدمة إلى Microsoft Azure و Microsoft Cloud | من خلال هذا الدليل ، سوف تتعرف على الحوسبة السحابية التي تدور حولها وكيف يمكن أن يساعدك Microsoft Azure على ترحيل عملك وإدارته من السحابة.

تيكوبيديا توضح دلالات الدلالة

في الدلالات المعرفية ، تتمثل الفكرة الأساسية في تعيين كل كيان نحوي مرتبط بلغة برمجة في شكل ما من أشكال الكيان الرياضي ، وترجمة بنيات لغة البرمجة إلى كائنات رياضية.

يحتوي التعريف الدلالي الدلالي على خمسة أجزاء:

  • المعادلات الدلالية
  • فئات النحوية
  • وظائف الدلالي
  • Backus النموذج العادي (BNF) تحديد بنية الفئات النحوية
  • مجالات القيمة

تم تطوير دلالات الدلالة للغات الحديثة التي تحتوي على ميزات مثل الاستثناءات والتزامن. واحدة من السمات المهمة للدلالات الدلالة هي أن الدلالات يجب أن تكون تركيبية ، مما يعني أنه يمكن تكوين دلالة عبارة البرمجة من دلالات العبارات الفرعية.


هناك بعض المزايا المتميزة المرتبطة بالدلالات الدلالية. إنها أسهل آلية لوصف معنى البرامج الأصغر مقارنة بالبدائل الأخرى. دلالات الدلالة هي قادرة على شرح الحالة في البرامج. ومع ذلك ، تميل دلالات الدلالة إلى أن تكون معقدة للغاية لوصف الميزات المتقدمة مثل عبارات goto والإعادة.