(۱۷ آبان ۱۳۹۲ ۰۵:۱۹ ب.ظ)Jooybari نوشته شده توسط:  سلام. برای اینکه بفهمیم مستقل از متن هست یا نه یه راه مطمئن طراحی گرامر مستقل از متنه. برای ردش هم همون لم تزریقه.
برای تشخیص ابهام گرامر هم باید یه رشته پیدا کنید که به دو روش تولید بشه.

سلام
برای رد با لم تزریق که گفتید یعنی به ازای تمام iها داخل رشته صدق نکنه؟؟
میشه کامل تر بگید این لم تزریق را؟!

(۲۴ آبان ۱۳۹۲ ۱۱:۲۶ ب.ظ)۱-۱ نوشته شده توسط:  

(17 آبان ۱۳۹۲ ۰۵:۱۹ ب.ظ)Jooybari نوشته شده توسط:  سلام. برای اینکه بفهمیم مستقل از متن هست یا نه یه راه مطمئن طراحی گرامر مستقل از متنه. برای ردش هم همون لم تزریقه.
برای تشخیص ابهام گرامر هم باید یه رشته پیدا کنید که به دو روش تولید بشه.

سلام
برای رد با لم تزریق که گفتید یعنی به ازای تمام iها داخل رشته صدق نکنه؟؟
میشه کامل تر بگید این لم تزریق را؟!

یعنی یه رشته پیدا بشه که به ازای تمام حالات شکسته شدن رشته (بفرم w=xyz یا w=uvxyz) بتونیم یه i (توان) پیدا کنیم که رشته جدید عضو زبان نباشه.

(۲۴ آبان ۱۳۹۲ ۰۶:۲۳ ب.ظ)Morris نوشته شده توسط:  سلام دوست عزیز !
توضیحات دوستان بسیار کامل و دقیق بود.
من باب رفع ابهام عرض می کنم :


گرامری که شما قرار دادید، مبهم است زیرا رشته abab را می توان به دو طریق ایجاد نمود :





[tex]\ S => aSbS => abSaSbS =>^{*} abab \ S = aSbS => aSbaSbS =>^{*} abab[/tex]

سلام حق با شماست
مرسی بابت تصحیح خطای من

یعنی اینقدر این سوال سخته که هیچکس جواب نمیده.

(۱۶ آبان ۱۳۹۲ ۰۸:۳۳ ب.ظ)h_kh نوشته شده توسط:  ۲-از کجا میشه راحت فهمید یه گرامر مبهمه یا نه؟ مثلا من در مورد گرامر زیر نتونستم متوجه مبهم بودنش بشم.

سخت ترین کار همینه که بگردی یه رشته پیدا کنی که با دو مسیر گرامر پیدا بشه. راه حل دیگه ای هم نداره. باید اونقدر ابتکار و دقت به خرج بدی تا بتونی پیدا کنی.

سلام
۱- به نظرم مشکل شما با حل زیاد نمونه سوال و تست حل میشه ولی درکل پیشنهاد میکنم از ساختار ماشین های پشته ای استفاده کنید تا گرامر یعنی ببینید میشه رشته های اون زبان رو با پشته پیاده کرد یا نه
یه نکته هم بگم اینکه همیشه به جزییات سوال توجه کنید مخصوصا شرط هایی که واسه زبان میزارن
۲- فرمول خاصی وجود نداره ولی واسه راحتی همیشه از کوچکترین رشته ها شروع کنید