TD 02: Grammaires Hors Contexte et Automates à Pile – Théorie des Langages – نظرية اللغات

يتناول هذا المستند تمارين تطبيقية في مادة نظرية اللغات، وتحديدًا السلسلة الثانية (TD 02) التي تركز على الجرافيات hors contexte (السياقية) والآلات المكدسة (Pushdown Automata). يبدأ التمرين الأول بتحليل جرافاة بسيطة وتحديد أشجار الاستنتاج لكلمتين وتقييم ما إذا كانت الجرافاة غامضة. يتناول التمرين الثاني جرافاة توليد الأقواس المتوازنة وإثبات انتماء كلمات معينة للغة ووصف اللغة المولدة. يركز التمرين الثالث على إظهار الغموض في جرافاة ثنائية وتقديم جرافاة غير ambiguous مكافئة. يتدرب الطلاب في التمرين الرابع على تبسيط جرافاة معقدة باستخدام قواعد الاستبدال والحذف. يتناول التمرين الخامس بناء جرافيات منتظمة للغات محددة مثل (01)* و(01)*11 وغيرها. يتناول التمرين السادس بناء جرافيات hors contexte للغات ذات أنماط عدديات محددة مثلequal numbers of symbols أو شروط على العدد. يتناول التمرين السابع إظهار انتماء كلمة لجرافاة وتقديم وصف للغة وتحويل الجرافاة إلى الشكل الطبيعي لتشومسكي. يتناول التمرين الثامن إزالة الاستدعاء الجانبي الأيسر وتحديد اللغة المولدة. يتناول التمرين التاسع تحويل جرافاة إلى الشكل الطبيعي لغريباخ. يتناول التمرين العاشر تحليل جرافاة ذات ثلاثة متغيرات وتحديد نوعها وإثبات انتماء كلمات معينة ووصف اللغة المولدة. يتناول التمرين الحادي عشر بناء automata إلى piledeterministic للغات محددة وتتبع تكوينات لكلمة معينة. таким образом، يعزز هذا TD الفهم النظري والعملي للمفاهيم الأساسية في نظرية اللغات ويعد الطلاب لحل تمارين مشابهة في الامتحانات.