$L=\left \{ w:n_{a}=n_{b} \right \}$
مثال بالا رو میخواهیم ثابت کنیم خطی نیست با لم تزریق
رشته رو انتخاب میکنیم
$w=a^{m}b^{2m}a^{m}$
خب حالا چطور تجزیه کنیم؟
uvyz باید طولش کمتر از m باشه
ما مجبوریم از uvyz رو از a های اول و اخر رشته برداریم x هم میشه تمام b ها
خب حالا تزریق میکنیم میشه

$a^{m k}b^{2m}a^{m l}$
چطوری ممکنه متوجه نمیشم مگه تزریق میکنیم l و k نباید یکسان بشن چجوری شده؟