زمان کنونی: ۰۱ مهر ۱۳۹۹, ۰۶:۱۳ ق.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

LL1 بودن گرامر

ارسال:
  

mahdikoochooloo پرسیده:

LL1 بودن گرامر

سلام دوستان
این سوال رو از اقای پور امینی پرسیدم ما هنوز جوابی دریافت نکردم:

کسی می تونه جوابشو بده

متن سوال:

سلام و وقت بخیر
بنده کتاب کامپایلر شما را مطالعه کردم. جایی برایم سوالی پیش آمد که فکر
می کنم مشکل از کتاب شماست.
در صفحه ۱۷۷ گرامری به صورت زیر دادید:
S->Aa|Bb
A->lambda|cAb
B->lambda|dAa
و فرمودید این گرامر LL(1) نیست چون در جدول تجزیه آن ۲ قاعده در یک خانه
وجود ندارد.
اما در صفحات قبل از موارد LL(1) نبودن یک گرامر این قاعده را متذکر شده بودید:
اگر
A->X|Y
X->lambda|...
Y->lambda|...
پس با این اوصاف گرامر صفحه ۱۷۷ LL(1) نیست.
آیا نه چنین است؟
اگر بنده اشتباه می کنم لطفا برای یادگیری بنده نکاتی را مرقوم فرمایید

با تشکر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

ahmadnouri پاسخ داده:

RE: سوال از ابهام که پرسیده شده از آقای پور امینی

(۱۲ آبان ۱۳۹۰ ۱۲:۵۰ ق.ظ)mahdikoochooloo نوشته شده توسط:  و فرمودید این گرامر LL(1) نیست چون در جدول تجزیه آن ۲ قاعده در یک خانه
وجود ندارد.
شاید اشتباه چابی بوده است و باید میشد
چون در جدول تجزیه آن ۲ قاعده در یک خانه
وجود دارد.
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

mahdikoochooloo پاسخ داده:

سوال از ابهام که پرسیده شده از آقای پور امینی

مشکل جدول تجزیه نیست
چون جدول تجزیه فقط هیچ مشکلی نداره
مشکل اون قانونیه که توی صورت سوال عرض کردم
اون رعایت نشده

یعنی واقعا اون قانون هست
یعنی آیا اون قانون در تشخیص ال ال وان استفاده می شه؟
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

ahmadnouri پاسخ داده:

RE: سوال از ابهام که پرسیده شده از آقای پور امینی

دوست عزیز برای LL1 نبودن این گرامر میشه گفت که
[tex]firs(Aa)\bigcap firs(Bb)\neq \varnothing[/tex]
چون در هر دو مجموعه از first ‌ها لاندا رو داریم
نقل قول این ارسال در یک پاسخ

ارسال:
  

Mojtaba پاسخ داده:

RE: سوال از ابهام که پرسیده شده از آقای پور امینی

(۱۳ آبان ۱۳۹۰ ۰۱:۳۸ ق.ظ)ahmadnouri نوشته شده توسط:  دوست عزیز برای LL1 نبودن این گرامر میشه گفت که
[tex]firs(Aa)\bigcap firs(Bb)\neq \varnothing[/tex]
چون در هر دو مجموعه از first ‌ها لاندا رو داریم
سلام.
گفتم شاید بچه‌ها بیان اینجا و این مطلب را بخونن‌، بر خودم لازم دانستم که دانسته های خودمم را در این زمینه بدم:
شما دوست عزیز باید نسبت به خود Aa یا خود Bb باید‌، first میگرفتید و این استدلال شما اشتباهه.
در واقع وقتی میگیم LL یک‌، یعنی با داشتن یک کاراکتر پارس را انجام بدیم نه صفر کاراکتر (لاندا).
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

ahmadnouri پاسخ داده:

سوال از ابهام که پرسیده شده از آقای پور امینی

خب Mojtaba جان first من هم نسبت به خود Aa وBb اه دیگه فقط چیزی که من گفتم این بود که در هر دوی این مجموعه‌ها لاندا هست پس نمی تونه LL1 باشه
نقل قول این ارسال در یک پاسخ

ارسال:
  

Mojtaba پاسخ داده:

RE: سوال از ابهام که پرسیده شده از آقای پور امینی

(۱۸ آبان ۱۳۹۰ ۱۲:۳۴ ق.ظ)ahmadnouri نوشته شده توسط:  خب Mojtaba جان first من هم نسبت به خود Aa وBb اه دیگه فقط چیزی که من گفتم این بود که در هر دوی این مجموعه‌ها لاندا هست پس نمی تونه LL1 باشه

دوست عزیز گرامر LL1 هست و آن کتاب صحیح گفته و آن گرامر دومی که دوستمان گفته LL1 نیست . شما میشه بگی چطوری نسب به Aa,Bb ،فرست گرفتی که با هم اشتراک داشتند.
به این نکته باید توجه کنی که فرست یک متغیر یا عبارت وقتی شامل لاندا میشه که خود عبارت یا متغیر بتونه با لاندا جایگذاری بشه‌، که اینجا همچین چیزی نیست
منتظر نظراتتون هستم با سپاس از ahmadnouri عزیرWink
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

ahmadnouri پاسخ داده:

سوال از ابهام که پرسیده شده از آقای پور امینی

(۱۸ آبان ۱۳۹۰ ۰۹:۱۰ ق.ظ)Mojtaba نوشته شده توسط:  دوست عزیز گرامر LL1 هست و آن کتاب صحیح گفته و آن گرامر دومی که دوستمان گفته LL1 نیست . شما میشه بگی چطوری نسب به Aa,Bb ،فرست گرفتی که با هم اشتراک داشتند.
به این نکته باید توجه کنی که فرست یک متغیر یا عبارت وقتی شامل لاندا میشه که خود عبارت یا متغیر بتونه با لاندا جایگذاری بشه‌، که اینجا همچین چیزی نیست
منتظر نظراتتون هستم با سپاس از ahmadnouri عزیرWink

بله حق با شماست این گرامر LL1 است
خیلی ممنون به خاطر نکته ای که گوش زد کردید
از mahdikoochooloo هم به خاطر اشتباه جواب دادنم معذرت میخوام

پست های قبلیم رو بخاطر اینکه بقیه دوستان هم به این نکته توجه داشته باشن ویرایش و حذف نمیکنم
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  اثبات بومی بودن sirvan.t ۸ ۶۸۸ ۱۰ اسفند ۱۳۹۸ ۰۹:۴۶ ب.ظ
آخرین ارسال: WILL
  هیتلر بودن یا نبودن marvelous ۲ ۴۸۱ ۰۴ مهر ۱۳۹۸ ۰۱:۴۱ ق.ظ
آخرین ارسال: marvelous
  گرامر منظم Sanazzz ۶ ۱,۶۶۲ ۳۱ اردیبهشت ۱۳۹۸ ۰۴:۳۲ ب.ظ
آخرین ارسال: Sanazzz
  حتماحتما بخوانید درموردافضل بودن امیرالمومنین هستش seyed ehsn ۱ ۱,۱۴۳ ۲۱ فروردین ۱۳۹۸ ۱۱:۰۹ ق.ظ
آخرین ارسال: banihashem
  گرامر مستقل از متن Sanazzz ۴ ۱,۴۷۷ ۱۲ دى ۱۳۹۷ ۰۹:۵۹ ب.ظ
آخرین ارسال: Sanazzz
  گرامر Sanazzz ۰ ۶۱۳ ۰۵ آذر ۱۳۹۷ ۰۴:۴۰ ب.ظ
آخرین ارسال: Sanazzz
  میزان سنگین بودن ارشد چقدره؟ (دوستانی که ارشد اند یا تموم شده ارشدشون) ya3ya6 ۴ ۹۳۵ ۱۳ خرداد ۱۳۹۷ ۰۱:۴۶ ب.ظ
آخرین ارسال: Happiness.72
Exclamation تشخیص نوع زبان و گرامر به صورت تستی و سریع kamran_maneshtir ۰ ۶۷۷ ۰۲ بهمن ۱۳۹۶ ۰۷:۴۶ ب.ظ
آخرین ارسال: kamran_maneshtir
  گرامر منظم fsmtnc ۲ ۹۹۹ ۱۴ دى ۱۳۹۶ ۱۱:۵۷ ق.ظ
آخرین ارسال: fsmtnc
  گرامر fsmtnc ۲ ۹۱۴ ۱۱ دى ۱۳۹۶ ۱۱:۱۶ ق.ظ
آخرین ارسال: fsmtnc

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close