سلام
چرا بستار ستاره ی این زبان با خودش مساوی نیست؟
بستار ستاره‌ش چی میشه؟
لطفاً مثال بزنید.
[tex]L_3=\{w\: \mid\: w\in\{a,b\}^{\ast},\: w=xy,\: x=y\}[/tex]
[tex]L_3\ne L_3^{\ast}[/tex]
(25 دى 1393 09:53 ب.ظ)Ametrine نوشته شده توسط: [ -> ]سلام
چرا بستار ستاره ی این زبان با خودش مساوی نیست؟
بستار ستاره‌ش چی میشه؟
لطفاً مثال بزنید.
[tex]L_3=\{w\: \mid\: w\in\{a,b\}^{\ast},\: w=xy,\: x=y\}[/tex]
[tex]L_3\ne L_3^{\ast}[/tex]
مثلاً [tex]L^{\ast}_3[/tex] رشته ی [tex]w_1w_1w_2w_2[/tex] داره [tex](w_1\ne w_2)[/tex] که عضو [tex]L_3[/tex] نیست.
زبان [tex]L_3[/tex] رو میشه اینطوری هم نوشت:
[tex]L_3=\{ww\: \mid\: w\in\{a,b\}^{\ast}\}[/tex]
اگر اشتباه نکنم، [tex]L^{\ast}_3[/tex] میشه:
[tex]L^{\ast}_3 = \{ w_1w_1w_2w_2\dots w_nw_n : w_i\in \{a,b\}^{\ast},\: n\ge0 \} [/tex]
(25 دى 1393 10:23 ب.ظ)Farzamm نوشته شده توسط: [ -> ]مثلاً [tex]L^{\ast}_3[/tex] رشته ی [tex]w_1w_1w_2w_2[/tex] داره [tex](w_1\ne w_2)[/tex] که عضو [tex]L_3[/tex] نیست.
زبان [tex]L_3[/tex] رو میشه اینطوری هم نوشت:
[tex]L_3=\{ww\: \mid\: w\in\{a,b\}^{\ast}\}[/tex]
اگر اشتباه نکنم، [tex]L^{\ast}_3[/tex] میشه:
[tex]L^{\ast}_3 = \{ w_1w_1w_2w_2\dots w_nw_n : w_i\in \{a,b\}^{\ast},\: n\ge0 \} [/tex]
ممنون
میشه با الفبای a و b برای بستارش یه رشته رو مثال بزنید؟
(25 دى 1393 10:43 ب.ظ)Ametrine نوشته شده توسط: [ -> ]ممنون
میشه با الفبای a و b برای بستارش یه رشته رو مثال بزنید؟
مثلاً
abaababbbbbbbbbaba
یعنی [tex]w_1=aba\: ,\: w_2=bbbb\: ,\: w_3=ba[/tex]
برای این زبان چطور؟
بستار ستاره‌ش با خودش برابره؟
[tex]L_4=\{w\mid\: w\in\{a,b\}^{\ast},\: w=xy\: ,\: |x|=|y|\}[/tex]
(25 دى 1393 10:50 ب.ظ)Ametrine نوشته شده توسط: [ -> ]برای این زبان چطور؟
بستار ستاره‌ش با خودش برابره؟
[tex]L_4=\{w\mid\: w\in\{a,b\}^{\ast},\: w=xy\: ,\: |x|=|y|\}[/tex]
بله / چون طولش رشته ها همواره زوجه / میشه نصفشون کرد یه طرف رو x گرفت یه طرف رو y / محدودیتی روی x و y نیست.
در واقع این زبان میشه رشته هایی از [tex]\{a,b\}^{\ast}[/tex] که طولشون زوجه / پس [tex]L_4=L_4^{\ast}[/tex]
اقای فرزام جواب دادند !!!میتونی اینم داشته باشی ببین گفته رشته هایی عضو L هستند که اگه دو تیکش کنیم دقیقا برابر باشن
مثلا این دو رشته عضو L هستند:
[tex]L=\{aa,abab,...\}[/tex]
خب حالا قبول داری [tex]L^2=L.L=\{aa,abab,...\}.\{aa,abab,..\}=\{aaabab,...\}[/tex]
یعنی [tex]L^2[/tex] میتونه رشته ای مثل [tex]aaabab[/tex] داشته باشه و نمیشه این رشته رو به دو زیر رشته برابر تقسیم کرد
چون وقتی میگیم [tex]L=L^{\ast}[/tex] که داشته باشیم :
[tex]L\subseteq L^{\ast}\wedge L^{\ast}\subseteq L[/tex]
و از طرفی داریم:
[tex]L^{\ast}=L^0\cup L^1\cup L^2\cup L^3\cup...[/tex]
و الان [tex]L^2[/tex] زیر مجموعه [tex]L^{ }[/tex] نشد
خیلی ممنونم
(25 دى 1393 10:59 ب.ظ)miladcr7 نوشته شده توسط: [ -> ]چون وقتی میگیم [tex]L=L^{\ast}[/tex] که داشته باشیم :
[tex]L\subseteq L^{\ast}\wedge L^{\ast}\subseteq L[/tex]
پس اینطور!
من نمیدونستم!
ممنون
ویرایش: نه الان یادم اومد! :دی
(25 دى 1393 11:03 ب.ظ)Farzamm نوشته شده توسط: [ -> ]چرا اینقدر علامت تعجب ؟! 
کلاً ایشون علاقه ی خاصی به این کاراکتر دارن :دی
اکثر ارسال هاشون رو شامل میشه!