(۱۰ اردیبهشت ۱۳۹۵ ۰۶:۲۵ ق.ظ)fatemeh69 نوشته شده توسط:  سلام تحت بستار ستاره بسته نیست

برای مثال
$L_1=\{a^nb^nc^p,n,p>0\}$
$L_2=\{a^nb^pc^p,n,p>0\}$
می دانیم که $L_1\cup\: L_2$ غیر قطعی است و $d(L_1\cup\: L_2)$ نیز غیر قطعی است
و $K=d\: L_1\cup\: L_2 \cup \{d\}$ قطعی است
اگر کلاس زبان های مستقل از متن قطعی تحت عملگر بستار ستاره بسته باشند آن گاه زبان $K^{\ast}$قطعی خواهد بود
پس $K^{\ast}\cap\: d \: \sum^{\ast}=dL_1\cup dL_2=d(L_1\cup L_2)$ نیز قطعی خواهد بود که تناقض است

(۱۱ اردیبهشت ۱۳۹۵ ۱۲:۵۸ ق.ظ)Jooybari نوشته شده توسط:  سلام. وقت بخیر.
این زبان به نظرم مستقل از متن قطعیه ولی با بستار ستاره مستقل از متن قطعی نیست:

$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}\}$