۰
subtitle
ارسال: #۱
سوال از بستار ستاره ی یک زبان
سلام
چرا بستار ستاره ی این زبان با خودش مساوی نیست؟
بستار ستاره‌ش چی میشه؟
لطفاً مثال بزنید.
[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_3=\{w\: \mid\: w\in\{a,b\}^{\ast},\: w=xy,\: x=y\}[/tex]
[tex]L_3\ne L_3^{\ast}[/tex]
۱
ارسال: #۲
RE: سوال از بستار ستاره ی یک زبان
(۲۵ دى ۱۳۹۳ ۰۹:۵۳ ب.ظ)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]
ارسال: #۳
RE: سوال از بستار ستاره ی یک زبان
(۲۵ دى ۱۳۹۳ ۱۰:۲۳ ب.ظ)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 برای بستارش یه رشته رو مثال بزنید؟
ارسال: #۴
RE: سوال از بستار ستاره ی یک زبان
ارسال: #۵
RE: سوال از بستار ستاره ی یک زبان
برای این زبان چطور؟
بستار ستاره‌ش با خودش برابره؟
[tex]L_4=\{w\mid\: w\in\{a,b\}^{\ast},\: w=xy\: ,\: |x|=|y|\}[/tex]
بستار ستاره‌ش با خودش برابره؟
[tex]L_4=\{w\mid\: w\in\{a,b\}^{\ast},\: w=xy\: ,\: |x|=|y|\}[/tex]
ارسال: #۶
RE: سوال از بستار ستاره ی یک زبان
(۲۵ دى ۱۳۹۳ ۱۰:۵۰ ب.ظ)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]
ارسال: #۷
RE: سوال از بستار ستاره ی یک زبان
۱
ارسال: #۸
RE: سوال از بستار ستاره ی یک زبان
اقای فرزام جواب دادند !!!میتونی اینم داشته باشی ببین گفته رشته هایی عضو 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] نشد
مثلا این دو رشته عضو 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] نشد
ارسال: #۱۰
RE: سوال از بستار ستاره ی یک زبان
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close