هناك بعض العلاقات بين بناء الجملة والدلالات حيث يرتبط كل عنصر دلالي بالترجمة النحوية واحدة على الأقل ويؤكد الآخر أن كل تمثيل نحوي له معنى مميز.
رسم بياني للمقارنة
| أساس للمقارنة | بناء الجملة | دلالات |
|---|---|---|
| الأساسية | سمح العبارات من اللغة. | تفسير العبارات. |
| أخطاء | معالجة في وقت الترجمة. | واجه في وقت التشغيل. |
| علاقة | يجب أن يكون للتفسير النحوي بعض المعنى المميّز. | يرتبط مكون الدلالي مع التمثيل النحوي. |
تعريف الجمله
يتم استخدام بنية لغة البرمجة للدلالة على بنية البرامج دون التفكير في معانيها. وهو يركز بشكل أساسي على بنية وتخطيط البرنامج بمظهره. وهو يشتمل على مجموعة من القواعد التي تتحقق من تسلسل الرموز والتعليمات المستخدمة في البرنامج. نموذج براغماتي وحساب البيانات هذه العناصر النحوية للغة البرمجة. الأدوات التي تم تطويرها لمواصفات بناء جملة لغات البرمجة هي القواعد النحوية العادية والسياقات الخالية من السياق.
ومع ذلك ، ما هو استخدام القواعد في هذا الجانب؟ Grammars عموما هي قواعد إعادة كتابة الغرض منها هو التعرف على وتوليد البرامج. لا تعتمد القواعد على نموذج الحساب بدلاً من استخدامه في وصف بنية اللغة. يحتوي القواعد على مجموعة محدودة من الفئات النحوية (مثل عبارة الاسم ، العبارة الفعل ، المادة ، الاسم ، الخ) ، الكلمات الانفرادية (عناصر الحروف الأبجدية) والقواعد المنسقة بشكل جيد لتحديد الترتيب ضمن مكونات الفئات النحوية يجب أن تظهر.
تحليل النحو هو مهمة يقوم بها المترجم الذي يفحص ما إذا كان البرنامج يحتوي على شجرة اشتقاق مناسبة مرتبطة أم لا.
يمكن تفسير بنية لغة البرمجة باستخدام التقنيات الرسمية وغير الرسمية التالية:
- صيغة معجمية لتعريف القواعد الخاصة بالرموز الأساسية التي تتضمن المعرفات والحرفيات والمرقمات والمشغلين.
- يحدد بناء الجملة الفعلي التمثيل الحقيقي للبرامج بمساعدة الرموز المعجمية مثل الأبجدية.
- بناء الجملة المجرد ينقل فقط معلومات البرنامج الحيوية.
أنواع القواعد
- يستخدم قواعد اللغة الخالية من السياقات لمعرفة بنية اللغة بأكملها.
- تصف التعبيرات العادية الوحدات المعجمية (الرموز المميزة) للغة البرمجة.
- يحدد grammars سمة الجزء حساسة للسياق في اللغة.
تعريف علم الدلالة
يستخدم مصطلح علم الدلالة في لغة برمجة لمعرفة العلاقة بين بناء الجملة ونموذج الحساب. وهو يركز على تفسير البرنامج بحيث يتمكن المبرمج من فهمه بطريقة سهلة أو التنبؤ بنتيجة تنفيذ البرنامج. يتم استخدام مقاربة تعرف باسم دلالات syntax- direct الموجهة لتعيين التركيبات التركيبية للنموذج الحسابي بمساعدة دالة.
يمكن وصف دلالات لغة البرمجة من خلال التقنيات المختلفة - الدلالات الجبرية ، الدلالات اللونية ، الدوال التشغيلي ، الدلالات المعيارية ، ودلالات الترجمة.
- الدلالات الجبرية تفسر البرنامج من خلال تحديد الجبر.
- تحدد الدلالات السهمية معنى البرنامج من خلال بناء التأكيدات حول الارتباط الذي يحتجز في كل نقطة في تنفيذ البرنامج (أي ضمنيًا).
- يقارن علم الدلالة التشغيلي اللغات إلى الآلة التجريدية ، ثم يتم تقييم البرنامج كتسلسل من حالات الانتقال في الولاية.
- تعبير دلالات الدلالة معنى البرنامج في شكل مجموعة من الوظائف التي تعمل على حالة البرنامج.
- تركز الدلالات المترجمة على الطرق المستخدمة لترجمة البرنامج إلى لغة أخرى.
الاختلافات الرئيسية بين النحو وعلم الدلالة
- تشير الجملة إلى بنية برنامج مكتوب بلغة برمجة. من ناحية أخرى ، يصف علم المعاني العلاقة بين الإحساس بالبرنامج والنموذج الحسابي.
- يتم معالجة الأخطاء النحوية في وقت التحويل البرمجي. بالمقارنة ، من الصعب العثور على الأخطاء الدلالية والالتقاء في وقت التشغيل.
- على سبيل المثال ، في c ++ يتم تعريف المتغير "s" بأنه "int s؛" ، لتهيئته يجب أن نستخدم قيمة عدد صحيح. بدلا من استخدام عدد صحيح قمنا بتهيئة ذلك مع "سبعة". هذا التعريف والتهيئة صحيحان بشكل صحيح ولكنهما غير صحيحين من الناحية اللغوية لأن "السبعة" لا تمثل نموذجًا صحيحًا.
استنتاج
إن صيغة لغة البرمجة هي مجموعة من القواعد لتحديد بنية أو شكل التعليمة البرمجية في حين تشير الدلالات إلى تفسير الشفرة أو المعنى المرتبط بالرموز أو الأحرف أو أي جزء من البرنامج.
