(۱۹ اردیبهشت ۱۳۹۵ ۰۹:۲۸ ب.ظ)IranianWizard نوشته شده توسط: (19 اردیبهشت ۱۳۹۵ ۰۸:۲۱ ب.ظ)farahdsa نوشته شده توسط: آقای شاپوری جواب نظریه رو دادن،
من فقط همین منظم بودن رو اشتباه کردم، اشتراک این ۲ زبان مستقل از متن قطعی است ، اما منظم هم میشه، نمیدونم چرا گفته منظم نیست؟
کسی میتونه با استدال بگه چرا منظم نیست؟
زبان دوم قسمتی که c داره، a ها زوج میزنه، و b ها فرد میزنه، زبان اول ، a و b ها برابر هستن، بنابراین اشتراک این تا میشه aاستار و b استار.
به این دلیل مستقل از متن قطعی است ،ولی منظم نیست که :
اشتراک زبان های L1 و L2= [tex]\{a^m\: \: d\: \: b^{2m}\: \: :\: \: m=2k 1\}[/tex]
توضیح:
بخش هایی از دو زبان که حرف c دارند،که به هیچ وجه اشتراک ندارند.
ولی بخش هایی از دو زبان که حرف d دارند،اشتراکشون میشه [tex]a^m\: d\: b^{2m}[/tex] ولی به شرطی که m فرذ باشه.
خوب درسته، اون قسمت c اشتراک ندارن، ولی a استار هم شاملش میشه، اون قسمت d مطمئنی a با b وابسته میشه؟
شاپوری کامپایلرشو اصلاح کرد
LL1 نیست!!!!!
البته مطئنم نظریشو اشتباه کرده.
به نظر من باید تا روز ۴ شنبه صبر کنیم،اینطوری فایده نداره، منم کامپایلر زدم LL1 نیست. ولی جواب این دوست گرامی IranianWizard
کاملا با اثبات اثبات کردن که گرامر مشخص نیست چی هست.
من به جواب این موسسات و اساتید زیاد قبول ندارم.
موفق باشین.
