القواعد المنسوبة إلى L

تُعدّ قواعد اللغة المنسوبة إلى L نوعًا خاصًا من قواعد اللغة المنسوبة . [ 1 ] فهي تسمح بتقييم السمات في عملية اجتياز واحدة من اليسار إلى اليمين لشجرة بناء الجملة المجردة ، وذلك باستخدام أسلوب البحث العميق أولًا . ونتيجةً لذلك، يُمكن دمج تقييم السمات في قواعد اللغة المنسوبة إلى L بسهولة في التحليل النحوي من أعلى إلى أسفل .

يكون التعريف الموجه نحو بناء الجملة من النوع L إذا كانت كل سمة موروثة منXج{\displaystyle X_{j}}على الجانب الأيمن منأX1،X2،...،Xن{\displaystyle A\rightarrow X_{1},X_{2},\dots ,X_{n}}يعتمد فقط على

  1. خصائص الرموزX1،X2،...،Xج-1{\displaystyle X_{1},X_{2},\dots ,X_{j-1}}
  2. السمات الموروثة لـأ{\displaystyle A}(ولكن ليس سماتها المركبة)

كل تعريف موجه نحو بناء الجملة منسوب إلى S يكون منسوبًا أيضًا إلى L.

يتطلب تطبيق التعريفات المنسوبة إلى L في محللات Bottom-Up إعادة كتابة التعريفات المنسوبة إلى L في مخططات الترجمة.

تُعتبر العديد من لغات البرمجة من نوع L. وتعتمد أنواع خاصة من المترجمات ، تُعرف بالمترجمات الضيقة، على شكل من أشكال القواعد النحوية المنسوبة إلى L. وتُمثل هذه المترجمات مجموعة فرعية صارمة من القواعد النحوية المنسوبة إلى S. وتُستخدم في توليد التعليمات البرمجية.

إما "السمات الموروثة" أو "السمات المُصنّعة" المرتبطة بظهور الرمزX1،X2،...،Xن{\displaystyle X_{1},X_{2},\dots ,X_{n}}.

مراجع

  1. ^ نوث ، دونالد إي. (يونيو 1968). “دلالات اللغات الخالية من السياق”. نظرية النظم الرياضية . 2 (2): 127-145 . سايتسيركس 10.1.1.455.1434 . دوى : 10.1007/BF01692511 . ISSN 0025-5661 . S2CID 5182310 . ويكي بيانات Q56672530 .