بواسطة Rabruba » الأربعاء يونيو 22, 2011 1:38 pm
كمان شغلة
أنو لحتى تشتغل على توطئة الضخ ( لنفرض هلق عم نحكي على توطئة الضخ للغة منتظمة )
فالقاعدة بتقول أنو لحتى تكون اللغة منتظمة مهما تكن Z سلسلة تنتمي للغة
يوجد على الأقل تقسيمة بتحقق الضخ
يعني بيكفي نلاقي تقسيمة بتحقق الضخ لأي سلسلة بتنتمي للغة
...أما لنثبت أنو اللغة مووو منتظمة ، فلازم يوجد سلسلة Z على الأقل
شلون ماقسمناها ( يعني كل التقسيمات الممكنة طبعا ضمن شروط القاعدة )
مالح تقبل الضخ