سلام دوستان این گرامر داریم
S>aAB|SDb
A>aDB|Ab
B>Bda|abD
D>Da|db
من قسمتی از پارسر lalr1 این گرامر نوشتم

I0
S'>.S $
S>.aAB $
S>.SDb $
I1
S'>S. $
S>S.Db $
D>.Da b,a
D>.db b,a
I2
S>a.AB $
A>a.DB a,b
A>.Ab a,b
I3
S>SD.b $
D>D.a a,b
I4
D>d.b a,b
I5
S>aA.B $
B>.Bda d
B>.abD d
A>A.B a,b
توی اونجا که پررنگ کردم به نظرتون فقط d جزو مجموعه است یا اینکه a هم هست؟
چون گرامر B>.Bda چپگردی داره من فکر کردم برای همین فقط d جزو مجموعه است و چون B>.abD چپگردی نداره نباید a رو اضافه کنم؟

اگر توی تشخیص جای دیگری از مجموعه اشتباه کردم هم ایرادمو بگیرید ممنون میشم