دورة: Les automates à pile (AP) – Théories des langages

تقدم هذه الدورة دراسة مفصلة لنموذج automates à pile (AP) كأحد النماذج الحاسوبية الأساسية في نظرية اللغات. يتم تعريف AP كرباعية (Q, Σ, Γ, δ, q0, Zo, F) حيث Q مجموعة الحالات، Σalphabet الإدخال، Γalphabet المكدس، δ دالة الانتقال، q0 الحالة الأولية، Zo رمز المكدس الفارغ، F مجموعة الحالات النهائية. يوضح النص كيفية تكوين AP من خلال triple (state, remaining input, stack content) وكيفية تطبيق دالة الانتقال لتحديث الحالة والمكدس بناءً على الرمز المقروأ ورأس المكدس. يتم عرض قبول اللغة إما عبر الوصول إلى حالة نهائية مع أي محتوى للمكدس أو عبر تفريغ المكدس بالكامل (القبول بالمكدس الفارغ). يُقدَّم النص أمثلة توضيحية مثل لغة {a^n b^n | n≥0} ولغة {w C w^R | w∈{0,1}*} لتوضيح كيفية عمل automates deterministe وكيفية بناء الانتقالات المقابلة. كما يُناقش القسم الرابع مفهوم automates à pile غير deterministe حيث يمكن أن توجد عدة انتقالات لنفس الرمز ورأس المكدس، مع أمثلة توضح عدم التماثل في الاختيار. يربط المحتوى بين المفاهيم النظرية وتطبيقاتها في تحليل اللغات السياقية الحرة، ويؤكد على أهمية فهم AP كخطوة أساسية قبل دراسة نماذج أكثر تعقيدًا مثل آلات تورينغ. يُشجع الطالب على حل التمارين وتطبيق القواعد على لغات جديدة لتعزيز الفهم العميق.