من تو این پست خواستم این چندتا زبان رو کنار هم بذارم که تفاوتها و شباهت هاش مشخص باشه که مدیران لطف کردن و بستنش چون قانون انجمن اینه که هر سوالی جدا پرسیده بشه

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

در ضمن من توی انجمن جستجو کردم بیشتر اینها رو ندیدم و اگر هم پرسیده شده باشه معمولا جواب های کلیشه ای بهش داده شده که
۱/ چون dfa و nfa میشه براش کشید منظمه
۲/ چون نمیتونیم لم تزریق براش بیاریم منظمه
۳/ چون با عبارت منظم میشه نوشتش پس منظمه
۴/ چون نمیتونیم بگیم نامنظمه پس منظمه

هدف من تحلیل کلی و تستی واسه اینجور مسائل بود. و چون شکل زبانها باهم مرتبط بود بهتر بود در کنار هم بررسی بشه که بهتر فهمیده بشه.
اما من روم مثل سنگ پای قزوینه سوالا رو جدا جدا پرسیدم



۲ . زبان
[tex]\left \{ a^{n\n} w b^{n\n} w^{R\R} c^n u: u,w \in \sum^{*},n\geqslant 0 \right \}[/tex]

تحلیل اولیه من : زبان بالا رو یه بار به ازای [tex]n=0[/tex] بررسی میکنیم که میشه [tex]a^{0\n} w b^{0\n} w^{R\R} c^0 u = w w^{R\R} u[/tex]
تو نگاه اول هر کسی مثل من باشه میگه چون [tex]w w^{R\R}[/tex] داره پس نامنظمه. ولی در آخر رشته زبان، یک u داریم که سیگما استار هست. همین u باعث میشه که ارتباطی که بین [tex]w w^{R\R}[/tex] هست از بین بره و یه جورایی این رشته رو تبدیل به سیگما استار کنه.
خب حالا میریم واسه nهای بزرگتر از صفر [tex]a^{1\n} w b^{1\n} w^{R\R} c^1 u = awb w^{R\R}c u[/tex] که بازهم به میمنت حضور u در آخر و اینکه رشته جدید زیر مجموعه همون رشته قبلی که n=0 بود هست، پس هر چه n بالاتر بره بازهم مشکلی مثل ارتباط بین عناصر را بوجود نمیاره. (البته نسبت به توضیحاتی که دادم خیلی قانع نبودم)

تحلیل اصلاح شده من :
خب یه کم جریان ذهنی من به هم ریخت ، یعنی اینکه اگه همینطور پیش بره همه ی زبان ها رو سیگما استار خواهم دید. پس ظاهرا باید مواظب باشم که زیادی همه چی رو سیگما استار نبینم.

در مورد این زبان بازهم فرض میکنیم n=0 باشه [tex] w w^{R\R} u[/tex] در اینجا، ما w را یه اپسیلونی فرض میکنیم (طبق گفته شما) و چیزی که باقی میمونه رشته u هست. این رشته هم چیزی نیست جز سیگما استار.
یعنی چیز جدیدی که از این تحلیلها فهمیدم - البته اگه اشتباهی نفهمیده باشم- اینه که اگه w یه مقدار ناچیز باشه و n=0 باشه (میشه گفت به تعبیری یه حالت حداقل برای رشته های زبان)، رشته ما سیگما استار میشه. پس اگر n بزرگتر از صفر بشه و یا w هم بزرگ و بزرگ تر بشه، فقط یک سری عناصر زبان به u که همون سیگما استار هست اضافه شده و تغییری در کلیت سیگما استار بوجود نمیاره و بعبارتی هر چیزی که اضافه بشه در خود سیگما استار هست.

تایید جناب azk84
دقیقاً درسته. ما اگه یه حالت خیلی خیلی خاص رو در نظر بگیریم (n=0، u=w=eps)، در این حالت سیگما استار به دست میاد. دیگه همه حالت‌های دیگه میشن زیرمجموعه‌ی این سیگما استار :-)