(۱۳ دى ۱۳۹۲ ۰۶:۱۱ ب.ظ)Jooybari نوشته شده توسط:  پاسخ سوال اول:
چون v<=3 هست و با درنظر گرفتن v=0 به سیکما استار میرسیم نباز به نوشتن بقیه حالات نیست. پس زبان میشه $(a b)^*$

سلام
من هنوز توی این سوال گیرم ، سرچ زدم و دیدم قبلا یکی تاپیکش رو زده دیگه من خداروشکر تاپیک تکراری نزدم

توی صورت سوال گفته شده V<=3 ، پس طول رشته V می تونه صفر باشه (لامبدا) یا یک باشه یا دو باشه یا حداکثر سه باشه ، که اگه صفر باشه که هیچی ، اما اگه یک باشه دو حالت پیدا میکنه ، V می تونه a باشه یعنی aWa یا b باشه یعنی bWb و اگر طول V دو باشه ، چهار حالت پیدا میکنه میتونه aaWaa و abWab و baWba و bbWbb باشه و اگر طولش سه باشه میشه ۸ حالت مختلف ، حالا من متوجه نمی شم چرا طول v رو صفر در نظر می گیریم؟
*(a+b) یعنی تمام رشته های متشکل از a و b ، یعنی مثلا فرض بگیریم رشته abbbbabb هم میشه ساخت حالا اگه طول رشته v رو یک در نظر بگیریم vی اول رشته میشه a و vی آخر رشته میشه b یا اگه طول V رو دو در نظر بگیریم vی اول رشته میشه ab و vی آخر رشته میشه bb
متوجه نمیشم چرا میشه *(a+b) ؟ یکی میشه کامل توضیح بده؟
مگه v اول رشته با v آخر رشته نباید یکی باشه؟

(۲۰ تیر ۱۳۹۳ ۱۲:۰۷ ق.ظ)Aliteh نوشته شده توسط:  توی صورت سوال گفته شده V<=3 ، پس طول رشته V می تونه صفر باشه (لامبدا) یا یک باشه یا دو باشه یا حداکثر سه باشه ، که اگه صفر باشه که هیچی ، اما اگه یک باشه دو حالت پیدا میکنه ، V می تونه a باشه یعنی aWa یا b باشه یعنی bWb و اگر طول V دو باشه ، چهار حالت پیدا میکنه میتونه aaWaa و abWab و baWba و bbWbb باشه و اگر طولش سه باشه میشه ۸ حالت مختلف ، حالا من متوجه نمی شم چرا طول v رو صفر در نظر می گیریم؟

سلام. شاید بد توضیح داده باشم. ما طول v رو صفر درنظر نمیگیریم. اگه L زبان سوال باشه میشه نوشت $L=L0\cup L1\cup L2\cup L3$ که $Li$ها رو حالتی از زبان که طول v برابر i باشن فرض کنید. تا اینحا قبول!؟!؟
اول L0 رو محاسبه میکنیم یعنی حالتی که طول v برابر صفره که زبانمون میشه سیکمااستار. میدونیم که اجتماع سیکمااستار با هر زبانی بازهم سیکمااستار میشه. پس نیازی نیست بقیه رو حساب کنیم. L هم سیکمااستار میشه.

سلام.
زبان اولی چون محدودیتی روی v قرار داده پس زبان منظم هست و عبارت منظمی رو میشه براش نوشت. البته عبارت منظمش رو باید بصورت دستی و با دقت نوشت بطوری که طول V بزرگتر مساوی ۳ باشد.حالات مختلفی بوجود میاد که باید همه اینارو درج کرد. حالات به اینصورت هستن:
$aaaWaaa$
$bbbWbbb$
$abaWaba$
$baaWbaa$
$aabWaab$
$babWbab$
$bbaWbba$
$abbWabb$

که $W = (a b)^{*}$ است.

البته این عبارت منظم ناقص هست و باید در هرصورت لامبدا رو قبول کنه، صرفا جهت دهی به پاسخ بود.