تعريف بناء الجملة والشكلية

الموسوعة الحرة
بيئة ASF+SDF الفوقية ، وهي مجموعة أدوات توفر محللًا ومولدًا للمحلل لـ SDF

يُعدّ تعريف الصيغة النحوية ( SDF ) صيغةً فوقيةً تُستخدم لتعريف القواعد النحوية الخالية من السياق ، أي أنها طريقة رسمية لوصف اللغات الرسمية. ويمكنها التعبير عن كامل نطاق القواعد النحوية الخالية من السياق . الإصدار الحالي منها هو SDF3. [ 1 ] يُوفّر برنامج ASF+SDF Meta Environment المجاني مُحلِّلًا نحويًا ومُولِّدًا للمُحلِّلات النحوية لمواصفات SDF . ويعمل هذان البرنامجان باستخدام SGLR ( مُحلِّل GLR بدون ماسح ضوئي ). يُخرج مُحلِّل SDF أشجار تحليلية ، أو غابات تحليلية في حالة وجود غموض .

ملخص

ميزات SDF:

  • يدعم جميع أنواع اللغات الخالية من السياق
  • يسمح بتعريفات بناء الجملة المعيارية (يمكن للقواعد النحوية استيراد القواعد النحوية الفرعية) مما يتيح إعادة الاستخدام
  • يدعم التعليقات التوضيحية

أمثلة

يوضح المثال التالي صيغة تعبير منطقي بسيط في SDF2:

وحدة أساسية/منطقية صادرات فرز منطقي رموز بدء خالية من السياق (قيمة منطقية) بناء الجملة الخالي من السياق "صحيح" -> قيمة منطقية "خطأ" -> قيمة منطقية lhs:Boolean "|" rhs:Boolean -> Boolean {left} lhs:Boolean "&" rhs:Boolean -> Boolean {left} "ليس" "(" منطقي ")" -> منطقي "(" منطقي ")" -> منطقي أولويات مستقلة عن السياق منطقي "&" منطقي -> منطقي > منطقي "|" منطقي -> منطقي

أنظمة تحليل البرامج وتحويلها باستخدام SDF

انظر أيضاً

مراجع

للمزيد من القراءة