اولا که گرامرتون یه ایراد کوچولو داره اونم اینه که در قسمت S2 باید B->aB اما شما به اشتباه نوشتید bB خوب بگذریم اما خیلی راحت میشه گفت که گرامر مبهمه!
برای اثبات ابهام باید ۲ یا بیشتر اشتقاق چپ(یا راست) داشته باشیم.
خوب اشتقاق اول : S=>S1=>AC=>aAbC=abC=>abc
اشتقاق چپ دوم: S=>S2=>BD=>aBD=>aD=>abDc=>abc
خوب گرامر مبهم هست. قبلا ثابت شده که ما هر چقدر سعی کنیمو گرامر مستقل از متن رو تغییر بدیم، نمیتونیم گرامری پیدا کنیم که این خواصیت ابهام رو نداشته باشه!
امیدوارم که کمکتون کرده باشم!