سلام به همه دوستان
سوال اینه که:
معین کنید چندزوج از قوانین زیر باLL1 بودن سازگاری ندارن؟

S->ABC | D
A->aA | Lambda
B->Bb |a
C->b
D->b

خوب قاعده ای که سمت چپش B داره چون بازگشتی چپ داره مسلما LL1نیست!
سوال من:مدرسان گفته چون اون قاعده بازگشتیه اصلا نمیشه واسش first حساب کنیم که بخوایم اشتراک و فلان بگیریم و با این استدلال چون قاعده ای که سمت چپش Sداره هم میتونه بهBبرسه پس S il شرایط ال ال بودنو نداره
نظر من:firstB=a اگر اونجور که مرسان میگه حساب کنیم که پارسرهای پایین به بالا که با بازگشتی چپ مشکل ندارن بس نباید بتونن برای T->.TTd firsrtهاشو حساب کنن و اگه B فیرست نداشته باشه قاعده زائد محسوب میشه!
به نظرتون S شرایط LLبودنو داره؟؟ نظر من که مثبت