۱-آیا برای تشخیص مستقل از متن بودن یک گرامر و اینکه توسط ماشین پوشدان پذیرفته میشه یا نه راه راحت و میانبری وجود دارد؟
۲-از کجا میشه راحت فهمید یه گرامر مبهمه یا نه؟ مثلا من در مورد گرامر زیر نتونستم متوجه مبهم بودنش بشم.
یعنی اینقدر این سوال سخته که هیچکس جواب نمیده.
سلام. برای اینکه بفهمیم مستقل از متن هست یا نه یه راه مطمئن طراحی گرامر مستقل از متنه. برای ردش هم همون لم تزریقه.
برای تشخیص ابهام گرامر هم باید یه رشته پیدا کنید که به دو روش تولید بشه.
(16 آبان 1392 08:33 ب.ظ)h_kh نوشته شده توسط: [ -> ]۲-از کجا میشه راحت فهمید یه گرامر مبهمه یا نه؟ مثلا من در مورد گرامر زیر نتونستم متوجه مبهم بودنش بشم.
سخت ترین کار همینه که بگردی یه رشته پیدا کنی که با دو مسیر گرامر پیدا بشه. راه حل دیگه ای هم نداره. باید اونقدر ابتکار و دقت به خرج بدی تا بتونی پیدا کنی.
سلام
1- به نظرم مشکل شما با حل زیاد نمونه سوال و تست حل میشه ولی درکل پیشنهاد میکنم از ساختار ماشین های پشته ای استفاده کنید تا گرامر یعنی ببینید میشه رشته های اون زبان رو با پشته پیاده کرد یا نه
یه نکته هم بگم اینکه همیشه به جزییات سوال توجه کنید مخصوصا شرط هایی که واسه زبان میزارن
2- فرمول خاصی وجود نداره ولی واسه راحتی همیشه از کوچکترین رشته ها شروع کنید
سلام دوست عزیز !
توضیحات دوستان بسیار کامل و دقیق بود.
من باب رفع ابهام عرض می کنم :
گرامری که شما قرار دادید، مبهم است زیرا رشته abab را می توان به دو طریق ایجاد نمود :
[tex]\ S => aSbS => abSaSbS =>^{*} abab \ S = aSbS => aSbaSbS =>^{*} abab[/tex]
(24 آبان 1392 06:23 ب.ظ)Morris نوشته شده توسط: [ -> ]سلام دوست عزیز !
توضیحات دوستان بسیار کامل و دقیق بود.
من باب رفع ابهام عرض می کنم :
گرامری که شما قرار دادید، مبهم است زیرا رشته abab را می توان به دو طریق ایجاد نمود :
[tex]\ S => aSbS => abSaSbS =>^{*} abab \ S = aSbS => aSbaSbS =>^{*} abab[/tex]
سلام حق با شماست
مرسی بابت تصحیح خطای من
(17 آبان 1392 05:19 ب.ظ)Jooybari نوشته شده توسط: [ -> ]سلام. برای اینکه بفهمیم مستقل از متن هست یا نه یه راه مطمئن طراحی گرامر مستقل از متنه. برای ردش هم همون لم تزریقه.
برای تشخیص ابهام گرامر هم باید یه رشته پیدا کنید که به دو روش تولید بشه.
سلام
برای رد با لم تزریق که گفتید یعنی به ازای تمام iها داخل رشته صدق نکنه؟؟
میشه کامل تر بگید این لم تزریق را؟!
(24 آبان 1392 11:26 ب.ظ)1-1 نوشته شده توسط: [ -> ] (17 آبان 1392 05:19 ب.ظ)Jooybari نوشته شده توسط: [ -> ]سلام. برای اینکه بفهمیم مستقل از متن هست یا نه یه راه مطمئن طراحی گرامر مستقل از متنه. برای ردش هم همون لم تزریقه.
برای تشخیص ابهام گرامر هم باید یه رشته پیدا کنید که به دو روش تولید بشه.
سلام
برای رد با لم تزریق که گفتید یعنی به ازای تمام iها داخل رشته صدق نکنه؟؟
میشه کامل تر بگید این لم تزریق را؟!
یعنی یه رشته پیدا بشه که به ازای تمام حالات شکسته شدن رشته (بفرم w=xyz یا w=uvxyz) بتونیم یه i (توان) پیدا کنیم که رشته جدید عضو زبان نباشه.