سلام.آیا زبان های مستقل از متن قطعی تحت بستار ستاره بسته اند؟
راستش تو بخش نظریه مانشت که جست و جو میکردم،بعضی ها گفتن بسته نیست.مثل لینک زیر،که عکسی از اون جدول ویژگی های زبانهای کتاب پارسه هم توش هست که گفته بسته نیست.
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
اگه ممکنه یه مثال نقض بیارید که مطمئن بشم بسته نیست.
ممنون.
سلام تحت بستار ستاره بسته نیست
برای مثال
[tex]L_1=\{a^nb^nc^p,n,p>0\}[/tex]
[tex]L_2=\{a^nb^pc^p,n,p>0\}[/tex]
می دانیم که [tex]L_1\cup\: L_2[/tex] غیر قطعی است و [tex]d(L_1\cup\: L_2)[/tex] نیز غیر قطعی است
و [tex]K=d\: L_1\cup\: L_2 \cup \{d\}[/tex] قطعی است
اگر کلاس زبان های مستقل از متن قطعی تحت عملگر بستار ستاره بسته باشند آن گاه زبان [tex]K^{\ast}[/tex]قطعی خواهد بود
پس [tex]K^{\ast}\cap\: d \: \sum^{\ast}=dL_1\cup dL_2=d(L_1\cup L_2)[/tex] نیز قطعی خواهد بود که تناقض است
سلام. وقت بخیر.
این زبان به نظرم مستقل از متن قطعیه ولی با بستار ستاره مستقل از متن قطعی نیست:
[tex]L=\{aw_1\cup bw_2|w_1,w_2\in \{a,b\}^*,n_a(w_1)=n_b(w_1),w_2=a^nb^{2n}\}[/tex]
(۱۰ اردیبهشت ۱۳۹۵ ۰۶:۲۵ ق.ظ)fatemeh69 نوشته شده توسط: سلام تحت بستار ستاره بسته نیست
برای مثال
[tex]L_1=\{a^nb^nc^p,n,p>0\}[/tex]
[tex]L_2=\{a^nb^pc^p,n,p>0\}[/tex]
می دانیم که [tex]L_1\cup\: L_2[/tex] غیر قطعی است و [tex]d(L_1\cup\: L_2)[/tex] نیز غیر قطعی است
و [tex]K=d\: L_1\cup\: L_2 \cup \{d\}[/tex] قطعی است
اگر کلاس زبان های مستقل از متن قطعی تحت عملگر بستار ستاره بسته باشند آن گاه زبان [tex]K^{\ast}[/tex]قطعی خواهد بود
پس [tex]K^{\ast}\cap\: d \: \sum^{\ast}=dL_1\cup dL_2=d(L_1\cup L_2)[/tex] نیز قطعی خواهد بود که تناقض است
(۱۱ اردیبهشت ۱۳۹۵ ۱۲:۵۸ ق.ظ)Jooybari نوشته شده توسط: سلام. وقت بخیر.
این زبان به نظرم مستقل از متن قطعیه ولی با بستار ستاره مستقل از متن قطعی نیست:
[tex]L=\{aw_1\cup bw_2|w_1,w_2\in \{a,b\}^*,n_a(w_1)=n_b(w_1),w_2=a^nb^{2n}\}[/tex]
ممنون بابت پاسخ ها.پس مطمئن شدم که بسته نیست