با سلام دوست عزیز ببینید برای چک کردن LL1 بودن لازم نیست همیشه جدول بکشید کافیه فقط قانونی های که این طوری ۲ تا ی هستن یا چند تای هستن را چک کنید یعنی از یک متغییر ۲ یا بیشتر قانون وجود داره مثلا توی این سوال ۳ تا متغیر سمت چپ هر کدوم ۲ تا قانون تولید می کنن خوب برای یکشون اگر یک سری شرط نقض بشه دیگه LL1 نیست و لازم نیست بقیه چک بشن ولی توی این سوال میگه چند تا قانون این طوری هست که LL1 بودن نقض می کنه

خوب باید چیارو چک کنیم این طوری مثلا شکل قانونا اینطوری هست
s-> A| B

۱ . first A اشتراکش با first B = تهی باشه
۲/ حداکثر یکی از قوانین A یا B لاندا را تولید کنن
(دقت کنید اگر هیچ کدوم لاندا را تولید نکنن شرط دوم و سوم لازم نیست چک بشه )
۳/ فرض کنیم B لاندا را تولید می کنه باید
first A اشتراکش با follow S = تهی باشه

خوب توی این سوال ۲ تا قانون اول
first (ABBd) اشتراکش با first (لاندا) = تهی
first (ABBd) اشتراکش با follow (S) = تهی
پس این ۲ تا قانون مشکلی ایجاد نمی کنن
میریم سراغ بعدیا همین طوری چک کنید
جواب گزینه
۲ میشه یعنی یک چفت و اونم جفت اخر هست موفق باشید.

(۰۱ دى ۱۳۹۳ ۱۰:۲۵ ب.ظ)Hamid_0311 نوشته شده توسط:  با سلام دوست عزیز ببینید برای چک کردن LL1 بودن لازم نیست همیشه جدول بکشید کافیه فقط قانونی های که این طوری ۲ تا ی هستن یا چند تای هستن را چک کنید یعنی از یک متغییر ۲ یا بیشتر قانون وجود داره مثلا توی این سوال ۳ تا متغیر سمت چپ هر کدوم ۲ تا قانون تولید می کنن خوب برای یکشون اگر یک سری شرط نقض بشه دیگه LL1 نیست و لازم نیست بقیه چک بشن ولی توی این سوال میگه چند تا قانون این طوری هست که LL1 بودن نقض می کنه

خوب باید چیارو چک کنیم این طوری مثلا شکل قانونا اینطوری هست
s-> A| B

۱ . first A اشتراکش با first B = تهی باشه
۲/ حداکثر یکی از قوانین A یا B لاندا را تولید کنن
(دقت کنید اگر هیچ کدوم لاندا را تولید نکنن شرط دوم و سوم لازم نیست چک بشه )
۳/ فرض کنیم B لاندا را تولید می کنه باید
first A اشتراکش با follow S = تهی باشه

خوب توی این سوال ۲ تا قانون اول
first (ABBd) اشتراکش با first (لاندا) = تهی
first (ABBd) اشتراکش با follow (S) = تهی
پس این ۲ تا قانون مشکلی ایجاد نمی کنن
میریم سراغ بعدیا همین طوری چک کنید
جواب گزینه
۲ میشه یعنی یک چفت و اونم جفت اخر هست موفق باشید.

مرسی ، عالی بود
چند قانون تولی داشته باشیم واس یک غیرپایانه اون موقع این قانون تعمیم داده میشه؟
سوال بعدی اینکه : آیا این قانون میشه واسه تشخیص همه ی LL1 استفاده کرد؟
گرامری که به صورت تکی قانون تولید باشد یعنی جفت نباشد ، اون چطور بررسی می شود؟

بله مثلا ۳ تا قانون باشه ۲ به ۲ چک می کنیم

بله واسه تموم مواردی که این شکلی باشن میشه استفاده کرد

گرامری که تک قانون باشه تو کنکور بخواهن ساده بدهند که دیگه هیچی همه سوالو میزنن این مدل سوالم مال سالها قبل ۸۵ بوده دیگه با مفهومی شدن کنکور فک نمی کنم این مدل سوالا بیاد ولی در کل اول چک میشه که گرارمر مبهم یا نه اگر مبهم باشه که LL1 نیست نبود می تونید با همون روش جدول چک کنید ببینید تداخل پیدا میشه یا نه موفق باشید.