(۲۱ شهریور ۱۳۹۲ ۰۸:۵۳ ب.ظ)azk84 نوشته شده توسط:  

(21 شهریور ۱۳۹۲ ۰۸:۱۶ ب.ظ)zimenswall نوشته شده توسط:  من تو این پست خواستم این چندتا زبان رو کنار هم بذارم که تفاوتها و شباهت هاش مشخص باشه که مدیران لطف کردن و بستنش چون قانون انجمن اینه که هر سوالی جدا پرسیده بشه

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

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

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


۳ . زبان [tex]\left \{ u w v w^{R\R} v: u,v,w\epsilon \sum^{*},\left | u \right |\geqslant 10 , \left | v \right |\leqslant 10 , \right \}[/tex]

باتوجه به پستهای قبلی جوابشو به زودی پیدا کرده و براتون میگم. اگر هم شما میدونید مشارکت کنید

خوب توی سؤال شماره‌ی ۴ حل شد عین همین با این تفاوت که اونجا اندازه‌ی w محدود به حداکثر ۱۰ کاراکتر بود و اینجا محدودیت نداره. یه v هم اینجا اضافه شده به تهش :دی

درست مثل قبل اگه حالت خاص v = w = eps رو در نظر بگیریم، شکل رشته‌های ما میشه u با شرط u| >= 10| که در حقیقت مجموعه‌ی تمام رشته‌های موجود با طول بزرگ‌تر مساوی ۱۰ هستش.
حالا اگه v و w برابر eps هم نباشند، هر چیزی که تولید میشه باز هم جزو همون مجموعه‌ی سابقه و کل زبان ما چیزی بهش اضافه نمیشه. بنابراین کل زبان ما میشه مجموعه‌ی تمام رشته‌های با طول بزرگ‌تر یا مساوی ۱۰ و میدونیم که مجموعه‌ی تمام رشته‌های با طول بزرگ‌تر مساوی ۱۰ یک زبان منظم هستش (هم میشه براش عبارت منظم نوشت و هم لم تزریق و هم NFA و DFA و ...! همه روش‌های موجود برای اثباتش راحته).