بناء الجملة

في علوم الحاسوب ، يُعدّ SYNTAX نظامًا يُستخدم لإنشاء محللات معجمية ونحوية ( محللات نحوية ) (حتمية وغير حتمية) لجميع أنواع القواعد النحوية الخالية من السياق ، بالإضافة إلى بعض فئات القواعد النحوية السياقية. وقد طُوّر هذا النظام في المعهد الوطني للبحوث في علوم الحاسوب والتحكم الآلي ( INRIA) في فرنسا على مدى عقود، وبشكل رئيسي على يد بيير بوليه، ولكنه أصبح برنامجًا مجانيًا منذ عام 2007 فقط. يُوزّع SYNTAX بموجب ترخيص CeCILL .

التحليل اللغوي الخالي من السياق

يدعم برنامج SYNTAX معظم فئات القواعد النحوية الحتمية (غير المبهمة) ( LR ، LALR ، RLR) بالإضافة إلى القواعد النحوية العامة غير السياقية. وقد استُخدم الإصدار الحتمي في سياقات تشغيلية (مثل لغة Ada [ 1 ] )، ويُستخدم حاليًا في مجال الترجمة [ 2 ] . تشمل الميزات غير الحتمية مُولِّد محلل إيرلي المستخدم في معالجة اللغة الطبيعية [ 3 ] . تتضمن المحللات النحوية التي يُولِّدها SYNTAX آليات قوية لاستعادة الأخطاء، وتسمح بتنفيذ الإجراءات الدلالية وتقييم السمات على الشجرة المجردة أو على غابة التحليل المشتركة.

التحليل السياقي

يتضمن الإصدار الحالي من SYNTAX (الإصدار 6.0 بيتا) أيضًا مولدات محلل نحوي لصيغ أخرى، تُستخدم في معالجة اللغة الطبيعية والمعلوماتية الحيوية. هذه الصيغ هي صيغ حساسة للسياق ( TAG ، RCG) أو صيغ تعتمد على قواعد نحوية غير سياقية وموسعة بفضل تقييم السمات، وخاصةً لمعالجة اللغة الطبيعية ( LFG ).

استعادة الأخطاء

من الميزات الجيدة في SYNTAX (مقارنة بـ Lex / Yacc ) خوارزميتها المدمجة [ 4 ] للتعافي التلقائي من الأخطاء المعجمية والنحوية، عن طريق حذف الأحرف أو الرموز الزائدة، أو إدراج الأحرف أو الرموز المفقودة، أو تبديل الأحرف أو الرموز، وما إلى ذلك. تتمتع هذه الخوارزمية بسلوك افتراضي يمكن تعديله من خلال توفير مجموعة مخصصة من قواعد التعافي المتكيفة مع اللغة التي تم بناء المحلل المعجمي والمحلل النحوي من أجلها.

مراجع

  1. طُوِّر أول مترجم أدوات للغة ADA باستخدام برنامج SYNTAX على يد بيير بوليه وآخرين، كما هو مذكور في هذه الصفحة عن تاريخ ADA . انظر أيضًا: بيير بوليه وكنوت ريبكن. بناء مُصرِّف Ada باتباع أساليب الترجمة الفوقية. في: ندوات اللغات والمترجمين 1978-1981، الصفحات 99-140. المعهد الوطني للبحوث في علوم الحاسوب والتحكم الآلي (INRIA)، روكينكور، فرنسا، 1981.
  2. على سبيل المثال، من قبل فريقي VASY و CONVECS في INRIA ، وخاصة لتطوير CADP و Traian .
  3. على سبيل المثال، في محلل SxLFG، الذي تم وصف إصداره الأول في هذه الورقة .
  4. بيير بولير ومارتن جوردان. مخطط جديد لإصلاح الأخطاء واستعادتها للتحليل المعجمي والنحوي . علم برمجة الحاسوب 9(3): 271-286 (1987).