(۱۷ اردیبهشت ۱۳۹۱ ۰۸:۱۴ ب.ظ)yaser_ilam_com نوشته شده توسط:  سوال رو دوباره بروزرسانی کردم ببینید قانع کننده است یا نه ؟

---

ببین کلا یه نکته بهت بگم دقت کن تو گزینه ها بجز گزینه ۴ همه گزینه ها دارای شرط به صورت زیر هست گزینه الف [tex]k\leq L[/tex]

گزینه ب [tex]k\geq n l[/tex] و گزینه ج [tex]n\leq l[/tex] در این جور سوالات که توان ها رو با هم مقایسه می کنه منظم نیست برای این

بحث مثال بازم تو کتاب لینز هست [tex]n\leq l\leq 2n[/tex] اینم غلطه اما اگه شرط عددی بزاره مثل [tex]n\geq 100 , l\leq 100[/tex]

اونوقت منظم میشه

---

(۱۷ اردیبهشت ۱۳۹۱ ۰۸:۱۰ ب.ظ)rad.bahar نوشته شده توسط:  

(17 اردیبهشت ۱۳۹۱ ۰۷:۵۸ ب.ظ)yaser_ilam_com نوشته شده توسط:  گزینه ۴ درسته دوست من این یکی از تمرینات کتاب لینز هستش

با تشکر از چوابتان ایا نمی توان برای گزینه ۱ عبارت منظم پیوست شده را ارائه داد

البته که نه زبان گزینه الف رشته [tex]a^{6}b^{4}aaa[/tex] رو می پذیره که در عبارت مدنظر شما این رشته وجود نداره

بله حق با شماست شرط k<L را اشتباها K<1 خوانده بودم
ممنون از جوابتان

گزینه ۴ درسته دوست من این یکی از تمرینات کتاب لینز هستش

تمرین کتاب لینز ویرایش سوم صفحه ۱۱۷

---

گزینه الف منظم نیست چون شما میتوانید [tex]w=(ab)^{m}aa(ba)^{m}[/tex] در نظر بگیرید حال بنابر لم تزریق رقیب می تواند چندین انتخاب داشته باشد مانند

[tex]y=(ab)^{k}[/tex] یا [tex]y=(ab)^{k}a[/tex] برای مورد اول [tex]w0=(ab)^{m-k}aa(ba)^{m}[/tex]

از آنجایی که تنها تطبیق ممکن عبارت است از [tex]ww^{R}=b^{l}aab^{l}[/tex] در [tex]L[/tex] نیست در مورد دوم طول

[tex]w0[/tex] فرد است بنابراین نمی تواند در [tex]L[/tex] باشد .

---

گزینه د منظم است زیرا هر رشته که دو نماد نتوالی یکسان دارد در یک زبان است یک عبارت منظم برای [tex]L[/tex] عبارت است از :

[tex](a b)(a b)^{*}(aa bb)(a b)(a b)^{*}[/tex]

(۱۷ اردیبهشت ۱۳۹۱ ۰۷:۵۸ ب.ظ)yaser_ilam_com نوشته شده توسط:  گزینه ۴ درسته دوست من این یکی از تمرینات کتاب لینز هستش

با تشکر از چوابتان ایا نمی توان برای گزینه ۱ عبارت منظم پیوست شده را ارائه داد

خواهش می کنم تو سوالات مربوط به لم تزریق مراقب ابشید باید تمام جوانب رو بسنجید بحث لم تزریق هم کار داره