درمورد سوال قبل چون S->SS نداریم رشته هایی مشابه aaabbbaaabbb و امثالش که برای تولید به این قاعده احتیاج دارن رو نمیشه با گرامر تولید کرد.
درمورد سوال ۶۲ اگه آلفا و گاما رو نال بگیریم و مقادیر i,j رو ۰ یا ۱ با توجه به فرضشون درنظر بگیریم که مغایرت هم نداشته باشه، در این صورت L1,L2 میشن سیکما استار و L3 میشه سیکما پلاس. همشون منظمن.

گفتم که اگه آلفا و گاما رو نال درنظر بگیرین تمام رشته های زبانو میشه باهاش ساخت. با قراردادن j=0 رشته نال و با قرار دادن j=1 بقیه رشته‌ها با توجه به بتا تولید میشه..
فرض کنید زبانی داریم که رشته های بفرم W^i رو قبول میکنه که W سیکما استار و i بزرگتریامساوی یکه. میخایم ببینیم که این زبان چه رشته هایی رو قبول میکنه. W و WW و WWW و WWWW و WWW...WWW رشته هایی هستن که زبان تولید میکنه. اگه توجه کنید بخاطر سیکما استار بودن W تمام رشته هایی که از چند W تشکیل شده رو هم شامل میشه. یعنی تمام رشته هایی رو که میشه با WW یا WWWWW و ... ساخت رو با W هم میشه ساخت.
توی این سوال هم تونستیم رشته هارو به فرمی بنویسیم که تمام رشته های دیگه رو شامل بشه. یعنی رشته ای وجود نداشته باشه که توی زبان باشه و با یکی از چند حالت محدود مشخص نشه ساخت. البته باید توجه کنیم که این حالات مشخص با قرار دادن مقادیر لازم برای متغیرهاش ساخته بشن. تونستیم برای این رشته‌ها یه ماشین جدیدی پیدا کنیم که تمام حالات دیگه رو پوشش بده و میتونیم برای اون یه dfa بکشیم. پس منظمه.