[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 نباید یکسان بشن چجوری شده؟