(۰۸ مهر ۱۳۹۲ ۰۶:۰۱ ب.ظ)Jooybari نوشته شده توسط:  سلام. این زبانی که شما نوشتید همون [tex](abc)^*[/tex] هست که منظمه. اگه اشتراکش رو حذف کنید مستقل از متن هم نیست.

(۰۷ مهر ۱۳۹۲ ۱۱:۰۰ ب.ظ)hp1361 نوشته شده توسط:  سلام

[tex]w=\lambda ,abc,aabbcc,aaabbbccc,aaaabbbbcccc,...[/tex]

البته باید در بالا امکان جابجایی هرکدوم از عناصر a و b و c رو هم مد نظر قرار بدی
و

[tex]\left ( abc \right )^{*}=\lambda ,abc,abcabc,abcabcabc,...[/tex]

حالا اشتراک این دو تا زبان چیه؟

(۰۸ مهر ۱۳۹۲ ۱۲:۱۱ ق.ظ)zimenswall نوشته شده توسط:  

(07 مهر ۱۳۹۲ ۱۱:۰۰ ب.ظ)hp1361 نوشته شده توسط:  سلام

[tex]w=\lambda ,abc,aabbcc,aaabbbccc,aaaabbbbcccc,...[/tex]

البته باید در بالا امکان جابجایی هرکدوم از عناصر a و b و c رو هم مد نظر قرار بدی
و

[tex]\left ( abc \right )^{*}=\lambda ,abc,abcabc,abcabcabc,...[/tex]

حالا اشتراک این دو تا زبان چیه؟

فکر کنم شما زبان را اشتباه دیدید. توی گرامر فقط گفته شده عناصر a,b , c برابر باشند ولی گفته نشده که حتما اول a بیاد بعد b و نهایتا c و یا اینکه تمام a ها و b ها و cها کنار هم بیان.
حالا اگه با فرض بالا هم مسئله رو حل کنیم اشتراک این دو مجموعه میشه لاندا و abc که خب منظمه دیگه

(۰۸ مهر ۱۳۹۲ ۰۹:۲۰ ق.ظ)NOOSHIN61 نوشته شده توسط:  

(08 مهر ۱۳۹۲ ۱۲:۱۱ ق.ظ)zimenswall نوشته شده توسط:  

(07 مهر ۱۳۹۲ ۱۱:۰۰ ب.ظ)hp1361 نوشته شده توسط:  سلام

[tex]w=\lambda ,abc,aabbcc,aaabbbccc,aaaabbbbcccc,...[/tex]

البته باید در بالا امکان جابجایی هرکدوم از عناصر a و b و c رو هم مد نظر قرار بدی
و

[tex]\left ( abc \right )^{*}=\lambda ,abc,abcabc,abcabcabc,...[/tex]

حالا اشتراک این دو تا زبان چیه؟

فکر کنم شما زبان را اشتباه دیدید. توی گرامر فقط گفته شده عناصر a,b , c برابر باشند ولی گفته نشده که حتما اول a بیاد بعد b و نهایتا c و یا اینکه تمام a ها و b ها و cها کنار هم بیان.
حالا اگه با فرض بالا هم مسئله رو حل کنیم اشتراک این دو مجموعه میشه لاندا و abc که خب منظمه دیگه

سلام اشتراک این دوزبان میشه:a^n b^n c^n با شرط n>=0 که حساس به متن است
از طرفی L1 حساس به متن و L2 منظم است و خانواده زبانهای حساس به متن تحت اشتراک منظم، بسته اند