سلام و خسته نباشید خدمت اعضای انجمن
یه مشکلی اساسی توی این سوال دارم که چرا زبان
[tex]L=\{w\in\{a,b,c\}^{\ast}:\: n_a(w)=n_b(w)=n_c(w)\}\cap\{abc\}^{\ast}[/tex]
نه منظمه و نه مستقل از متن؟
خودم فکرشو میکنم میبینم اشتراک این دوتا مجموعه میشه زبان منظم [tex](abc)^{*}[/tex] که تعداد a , b , c هم برابره.
و اگر اشتباه میکنم پس اشتراک زبان بالا چی میشه ؟
تشکر
سلام
[tex]w=\lambda ,abc,aabbcc,aaabbbccc,aaaabbbbcccc,...[/tex]
البته باید در بالا امکان جابجایی هرکدوم از عناصر a و b و c رو هم مد نظر قرار بدی
و
[tex]\left ( abc \right )^{*}=\lambda ,abc,abcabc,abcabcabc,...[/tex]
حالا اشتراک این دو تا زبان چیه؟
(۰۷ مهر ۱۳۹۲ ۱۱:۰۰ ب.ظ)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 که خب منظمه دیگه
(۰۸ مهر ۱۳۹۲ ۱۲:۱۱ ق.ظ)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 منظم است و خانواده زبانهای حساس به متن تحت اشتراک منظم، بسته اند
(۰۸ مهر ۱۳۹۲ ۰۹:۲۰ ق.ظ)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 منظم است و خانواده زبانهای حساس به متن تحت اشتراک منظم، بسته اند
اون قسمت دوم که این رو نمیسازه [tex]a^{n} b^{n} c^{n}[/tex]. پس چه جوری اشتراکشون میشه این؟
فکر کنم دوستان این سوال را با یکی از مثالهای کتاب لینز اشتباه گرفتن.
اونجا [tex]a^{*}b^{*}c^{*}[/tex]
بود ولی اینجا متن سوال اینجوریه
[tex](abc)^{*}[/tex]
سلام. اشتراک میشه همون [tex](abc)^*[/tex] که منظمه.
اگه اشتراکش رو حذف کنید مستقل از متن هم نیست.
(۰۸ مهر ۱۳۹۲ ۰۶:۰۱ ب.ظ)Jooybari نوشته شده توسط: سلام. این زبانی که شما نوشتید همون [tex](abc)^*[/tex] هست که منظمه. اگه اشتراکش رو حذف کنید مستقل از متن هم نیست.
پس جواب من درست بود که منظمه
ممنون.