سوال از بستار ستاره ی یک زبان - نسخهی قابل چاپ |
سوال از بستار ستاره ی یک زبان - Ametrine - 25 دى ۱۳۹۳ ۰۹:۵۳ ب.ظ
سلام چرا بستار ستاره ی این زبان با خودش مساوی نیست؟ بستار ستارهش چی میشه؟ لطفاً مثال بزنید. [tex]L_3=\{w\: \mid\: w\in\{a,b\}^{\ast},\: w=xy,\: x=y\}[/tex] [tex]L_3\ne L_3^{\ast}[/tex] |
RE: سوال از بستار ستاره ی یک زبان - Farzamm - 25 دى ۱۳۹۳ ۱۰:۲۳ ب.ظ
(۲۵ دى ۱۳۹۳ ۰۹:۵۳ ب.ظ)Ametrine نوشته شده توسط: سلام مثلاً [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: سوال از بستار ستاره ی یک زبان - Ametrine - 25 دى ۱۳۹۳ ۱۰:۴۳ ب.ظ
(۲۵ دى ۱۳۹۳ ۱۰:۲۳ ب.ظ)Farzamm نوشته شده توسط: مثلاً [tex]L^{\ast}_3[/tex] رشته ی [tex]w_1w_1w_2w_2[/tex] داره [tex](w_1\ne w_2)[/tex] که عضو [tex]L_3[/tex] نیست.ممنون میشه با الفبای a و b برای بستارش یه رشته رو مثال بزنید؟ |
RE: سوال از بستار ستاره ی یک زبان - Farzamm - 25 دى ۱۳۹۳ ۱۰:۴۷ ب.ظ
(۲۵ دى ۱۳۹۳ ۱۰:۴۳ ب.ظ)Ametrine نوشته شده توسط: ممنونمثلاً abaababbbbbbbbbaba یعنی [tex]w_1=aba\: ,\: w_2=bbbb\: ,\: w_3=ba[/tex] |
RE: سوال از بستار ستاره ی یک زبان - Ametrine - 25 دى ۱۳۹۳ ۱۰:۵۰ ب.ظ
برای این زبان چطور؟ بستار ستارهش با خودش برابره؟ [tex]L_4=\{w\mid\: w\in\{a,b\}^{\ast},\: w=xy\: ,\: |x|=|y|\}[/tex] |
RE: سوال از بستار ستاره ی یک زبان - Farzamm - 25 دى ۱۳۹۳ ۱۰:۵۶ ب.ظ
(۲۵ دى ۱۳۹۳ ۱۰:۵۰ ب.ظ)Ametrine نوشته شده توسط: برای این زبان چطور؟ بله / چون طولش رشته ها همواره زوجه / میشه نصفشون کرد یه طرف رو x گرفت یه طرف رو y / محدودیتی روی x و y نیست. در واقع این زبان میشه رشته هایی از [tex]\{a,b\}^{\ast}[/tex] که طولشون زوجه / پس [tex]L_4=L_4^{\ast}[/tex] |
RE: سوال از بستار ستاره ی یک زبان - MiladCr7 - 25 دى ۱۳۹۳ ۱۰:۵۹ ب.ظ
اقای فرزام جواب دادند !!!میتونی اینم داشته باشی ببین گفته رشته هایی عضو 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] نشد |
RE: سوال از بستار ستاره ی یک زبان - Ametrine - 25 دى ۱۳۹۳ ۱۱:۰۰ ب.ظ
خیلی ممنونم (۲۵ دى ۱۳۹۳ ۱۰:۵۹ ب.ظ)miladcr7 نوشته شده توسط: چون وقتی میگیم [tex]L=L^{\ast}[/tex] که داشته باشیم :پس اینطور! من نمیدونستم! ممنون ویرایش: نه الان یادم اومد! :دی |
RE: سوال از بستار ستاره ی یک زبان - Farzamm - 25 دى ۱۳۹۳ ۱۱:۰۳ ب.ظ
چرا اینقدر علامت تعجب ؟! |
RE: سوال از بستار ستاره ی یک زبان - Ametrine - 25 دى ۱۳۹۳ ۱۱:۰۷ ب.ظ
(۲۵ دى ۱۳۹۳ ۱۱:۰۳ ب.ظ)Farzamm نوشته شده توسط: چرا اینقدر علامت تعجب ؟!کلاً ایشون علاقه ی خاصی به این کاراکتر دارن :دی اکثر ارسال هاشون رو شامل میشه! |