بحثی که توی این تاپیک شد منو خیلی بیشتر راغب کرد که بشینم و خیلی عمیق تر به این مسئله فکر کنم و خوشبختانه تونستم مچ این آل شیخ تعطیل رو بگیرم

همون طوری که توی این عکسم که دوستمون گذاشتن توی حالت I0 داریم که


حالا از این جا به بعد میبینیم که آقای آل شیخ اومده به صورت معمول ماشین رو برده به حالت های بعدیش و بدون مشکل هم تمومش کرده و جدول رو هم بدون تداخل میتونیم بکشیم.
ولی دریغ از این که فک نکرده که آقا ماشین باید توی همین حالت اول I0 کلاسوری [tex]A\rightarrow .A A{$}[/tex] رو دوباره بستش بده یعنی ما باید این عبارت رو دوباره توی حالت I0 به صورت بازگشتی بستش بدیم :



واسه راحتی کار هم میتونیم حالت I0 رو به صورت زیر هم خلاصه کنیم


حالا اگه ماشین رو به این صورت پیش ببریم فک کنم توی مرحله ی ششم هست که تداخل انتقال/کاهش رخ میده چون اینجا یه کم سخته کشیدن ماشین خودکار خودتون دیگه ماشینش رو بکشین و در نتیجه چون این گرامر مبهم هست پس LR هم نیست و جواب تست هم میشه همون گرامر گزینه ج که مبهم نیست و LR هم هست.

نتیجه : آقای آل شیخ، بنده ی خدا ندونسته که چطور دانشجو رو بپیچونه هر جوری که تونسته ماشین رو پیش برده حتی به قیمت زیر پا گذاشتن قضیه اساسی توی کامپایلر. واسه همین هست که اگه کسایی که تستاش رو حل کردن توی تستای تالیفی بعضی جاها در کمال تعجب خواننده مجموعه Look Ahead رو یه چیزی نوشته که به عقلم جور در نمیاد و خیلی ها فک میکنن که تستا رو اشتباه حل کرده و معروفم شده کتابش که خیلی اشتباه داره، ولی دریغ از این که باید از این قاعده بازگشتی استفاده کرد تا به اون مجموعه Look Ahead برسیم و دانشجو رو هم گمراه نکرد!!!


هر گرامری که هنگام رسم ماشین خودکار متناهی با استفاده از آیتم های (۱)LR تداخل به وجود نیاید ، قطعا (۱)LR هست.
هر گرامری که مبهم باشد، قطعا (۱)LR نخواهد بود.

موفق باشید.