(۲۴ آبان ۱۳۹۳ ۰۱:۰۹ ق.ظ)Jooybari نوشته شده توسط:  سلام. مستقل ازمتنه. زبان میشه [tex]L=\{a^*b^*a^nb^n;n\geq 0\}[/tex]. بستار * و + زبان منظم میشد.

قبول دارم اما پاسخنامه سنجش منظم رو گفته ، نمی دونم

[tex]L=\{a^{\ast}b^{\ast}a^nb^n,\: n>=0\}=L_1\cup L_2[/tex]
که:
[tex]L_1=\{a^{\ast}b^{\ast}a^nb^n,\: n=0\}[/tex]
[tex]L_2=\{a^{\ast}b^{\ast}a^nb^n,\: n>0\}[/tex]
که:
[tex]L_1=Sigma^{\ast}[/tex]
و
[tex]L_2\subseteq Sigma^{\ast}[/tex]
پس:
[tex]L_1\cup L_2=Sigma^{\ast}[/tex]
پس L منظم است

(۲۵ آبان ۱۳۹۳ ۰۹:۰۲ ب.ظ)fatemeh69 نوشته شده توسط:  [tex]L_1=\{a^{\ast}b^{\ast}a^nb^n,\: n=0\}[/tex]
[tex]L_2=\{a^{\ast}b^{\ast}a^nb^n,\: n>0\}[/tex]
که:
[tex]L_1=Sigma^{\ast}[/tex]
و
[tex]L_2\subseteq Sigma^{\ast}[/tex]

سلام. این دو زبانی که تعریف کردید اشتباهه. زبان اول سیکمااستار نیست. بستار ستاره زبان میشه سیکمااستار.

(۲۵ آبان ۱۳۹۳ ۱۰:۱۷ ب.ظ)Jooybari نوشته شده توسط:  سلام. این دو زبانی که تعریف کردید اشتباهه. زبان اول سیکمااستار نیست. بستار ستاره زبان میشه سیکمااستار.

بله حق با شماست

سلام دوست عزیز:

این قضیه رو قبول داری که هر زبان منظمی مستقل از متن هم هست؟
خوب اگه آره نگاه کن:
a* = regular
b* = regular
قبول داری الحاقشون میشه منظم؟ آگه آره برو بعدی.
میدونیم هر زبان منظمی مستقل از متن هم هست! لذا:
a*b* = regular and also context free
آیا قبول داری که زبان Context free روی عمگر الحاق بسته است؟ اگر آره پس حاصل میشه زبان Context free.
اما چرا منظم نمیشه؟ چون ما عبارتی مثل a^n b^n داریم که باید به هر تعداد که a آوردیم b هم به همون تعداد بیاریم پس نمیشه نتیجتا نیاز به حافظه داریم!! لذا منظم بودن رد میشه!
تمام.