(۱۹ اردیبهشت ۱۳۹۵ ۰۹:۳۹ ب.ظ)farahdsa نوشته شده توسط: (19 اردیبهشت ۱۳۹۵ ۰۹:۲۸ ب.ظ)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 وابسته میشه؟
اگه اشتراکی باشه،تو قسمتی هست که d دارن.
در زبان اول،قسمتی که d داره،میشه : mتا حرف a ، سپس یه d، و بعدش ۲m تا حرف b بیاد.
در زبان دوم،قسمتی که d داره،میشه :رشته هایی که تعداد aها فرد باشه،سپس یه d بیاد و بعدش تعداد bها زوج باشه.
خب حالا اشتراکشون میشه چی؟
اشتراکشون میشه زیرمجموعه ای از هردو زبان که:
تعداد aها فرد،یه d،و بعدش تعداد bها زوج ، ولی به شرطی که تعداد bها دوبرابر تعداد a ها باشند.
که نیاز به حافظه داره.پس منظم نیست