‫زبان ٍای ىانيظم‬
‫• برای درک قدرت ناصيو ٍا بايد نحدوديت ٍای آن ٍا را بضياسيم‪.‬‬
‫• برخی از زبان ٍا را ىهی توان با ناصيو حالت نتياٍی تضخيط داد‪.‬‬
‫• نثالً برای تضخيط زبان زير بايد در حالت ٍا تعداد ‪ٍ 0‬ا را حفظ کييم‪.‬‬
‫• انا حالت ٍای نتياٍی يک ‪ DFA‬پاسخگوی تعداد ىانتياٍی حاالت نهکو‬
‫ىيست‪.‬‬
‫• ىياز بٌ يک نبيای ىظری برای اثبات نيظم ىبودن داريم‪ :‬لم پانپييگ‬
‫ظريي زبان ًا و ماشين ًا‬
‫داهشگاى صوعتی شريف‬
‫هيمسال اوّل ‪92‬‬
‫لم پانپييگ‬
‫هظريي زبان ًا و ماشين ًا‬
‫داهشگاى صوعتی شريف‬
‫هيمسال اوّل ‪92‬‬
‫ايدً اثبات‬
‫• بيا بٌ اظل الىٌ کبوتری‪ ،‬برای رصتٌ ٍايی با بيش از ايو طول‪ ،‬حداقل يک‬
‫حالت در دىبالٌ حاالت تکرار نی صود‪.‬‬
‫هظريي زبان ًا و ماشين ًا‬
‫داهشگاى صوعتی شريف‬
‫هيمسال اوّل ‪92‬‬
‫اثبات‬
‫هظريي زبان ًا و ماشين ًا‬
‫داهشگاى صوعتی شريف‬
‫هيمسال اوّل ‪92‬‬
‫نثال‬
‫• با استفادً از لم پانپييگ و برٍان خلف ثابت نی کييم کٌ زبان زير نيظم ىيست‪:‬‬
‫• چرا ٍيچ يک از سٌ حالت فوق ىهی تواىد درست باصد؟‬
‫هظريي زبان ًا و ماشين ًا‬
‫داهشگاى صوعتی شريف‬
‫هيمسال اوّل ‪92‬‬
‫نثال‬
‫• با استفادً از لم پانپييگ و برٍان خلف ثابت نی کييم کٌ زبان زير نيظم ىيست‪:‬‬
‫• روش ديگر‪:‬‬
‫هظريي زبان ًا و ماشين ًا‬
‫داهشگاى صوعتی شريف‬
‫هيمسال اوّل ‪92‬‬
‫نثال‬
‫هظريي زبان ًا و ماشين ًا‬
‫داهشگاى صوعتی شريف‬
‫هيمسال اوّل ‪92‬‬