اولا متغیر های nullable رو پیدا می کنی. (اونایی که میتونن null بشن) مثلا تو این مثال به طور مستقیم B و S هستند و به طور غیر مستقیم چیزی نداریم. بعد قوانین لامبدا رو حذف می کنی و بجای عناصر nullable در قوانین گرامر یک بار خودش رو مینویسی و یک بار هم بجاش null میذاری. فقط در مورد S استثنا داره که میتونه اونجا هم null وجود داشته باشه و در بقیه موارد همه null ها حذف میشن. مثلا جواب این مثال که تو دادی میشه:
S ---> ABS
S ---> AB
S ---> AS
S ---> A
A ---> aA
A ---> a
B ---> bB
B ---> b
یکمی توضیحش نامفهوم شد!!! اگر نفهمیدی سوال کن برات توضیح بیشتر بدم