تصحيح نوعي: التعبيرات العادية وتحديدية وتقليل الآلات المحدودة – وحدة TL

يقدم هذا المستند تصحيحًا نوعيًا للتحكم في وحدة TL (نظرية اللغات) لطلاب السنة الثانية ليسانس بقسم informatique بجامعة Ferhat عباس، سétif 1، بتاريخ 25/05/2023. يتكون التحكم من جزأين رئيسيين بقيمة إجمالية 20 نقطة، ويهدف إلى تقييم فهم الطلاب للمفاهيم الأساسية في نظرية اللغات والآلات finite والقواعد النحوية. في الجزء الأول (10 نقاط)، يُطلب من الطالب في السؤال الأول إعطاء التعبير العادي للغة المولدة من آلة غير محددة موصوفة بالرسم، حيث يكون الحل الصحيح هو (b+ab*a)*ab* + a(a+b)، ويُمنح سؤالين إضافيين: تحويل آلة غير محددة إلى آلة محددة (3.5 نقطة) مع رسم الآلة الناتجة وتوضيح الحالات والانتقالات، وتقليل آلة محددة إلى أقل عدد من الحالات (4.5 نقطة) باستخدام طريقة التكافؤ وإظهار المجموعات المتكافئة. في الجزء الثاني (10 نقاط)، يركز على القواعد النحوية واللغات السياقية: السؤال الأول يطلب إيجاد اللغة المولدة من قواعد محددة مع إنتاجات تتضمن تكرارات ورموز خاصة (2 نقطة). السؤال الثاني يتطلب كتابة قواعد سياق حر مكافئة للغة L = {a^n b^p a^q | p = 2n + q، n,q>0} (2 نقطة). السؤال الثالث يطلب تصميم آلة pile للتعرف على لغة L = {w ∈ {a,b,c}* | |w|_a = |w|_b + |w|_c} (4 نقطة). السؤال الرابع يطلب تقليل قواعد نحوية بحذف الرموز غير النهائية غير القابلة للوصول والرموز غير المفيدة (2 نقطة). يوفر التصحيح إجابات مفصلة مع توضيحات خطوة بخطوة، ويشير إلى الأخطاء الشائعة مثل نسيان حالات الإpsilon في التحديدية أو خلط مجموعات التكافؤ في التقليل. يساعد هذا المستند الطلاب على مراجعة الأساليب العملية لحل تمارين الآلات finite والقواعد النحوية، وتعزيز قدرتهم على تطبيق النظرية على مشكلات مشابهة قد تظهر في الامتحانات المستقبلية.