[tex]L=\left \{ w:n_{a}=n_{b} \right \}[/tex]
مثال بالا رو میخواهیم ثابت کنیم خطی نیست با لم تزریق
رشته رو انتخاب میکنیم
[tex]w=a^{m}b^{2m}a^{m}[/tex]
خب حالا چطور تجزیه کنیم؟
uvyz باید طولش کمتر از m باشه
ما مجبوریم از uvyz رو از a های اول و اخر رشته برداریم x هم میشه تمام b ها
خب حالا تزریق میکنیم میشه
[tex]a^{m k}b^{2m}a^{m l}[/tex]
چطوری ممکنه متوجه نمیشم مگه تزریق میکنیم l و k نباید یکسان بشن چجوری شده؟
(۱۸ دى ۱۳۹۱ ۰۳:۴۳ ق.ظ)teacherpc نوشته شده توسط: ما مجبوریم از uvyz رو از a های اول و اخر رشته برداریم x هم میشه تمام b ها
نمیتونیم این کارو بکنیم. اندازه vxy نباید از m بزرگتر باشه.
این مثال لینز هست واسه همین منم شک کردم
میشه لم تزریق رو برام توضیح بدید
از کتاب لینز خوندم ولی متوجه نشدم چجوری مثال ها رو حل میکنه
(۰۱ بهمن ۱۳۹۴ ۰۱:۳۰ ب.ظ)nobody90 نوشته شده توسط: میشه لم تزریق رو برام توضیح بدید
از کتاب لینز خوندم ولی متوجه نشدم چجوری مثال ها رو حل میکنه
سلام. لینز منبع خوبی برای لم تزریقه. اگه توی انجمن همین لم تزریق رو جستجو کنید یک سری توضیحات وجود داره که به نظرم براتون مفید باشه.