(۱۰ اردیبهشت ۱۳۹۵ ۰۶:۲۵ ق.ظ)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]