سلام. همین که طول رشته زوج باشه کافیه.

[tex]S\to aaS|abS|baS|bbS|\lambda[/tex]

این شرط وقتی برقرار است که یکی از دو حالت زیر اتفاق بیفتد:
۱- تعداد a ها زوج و تعداد b ها زوج باشد
۲- تعداد a ها فردد و تعداد b ها نیز فرد باشد
(به چرایی این موضوع فکر کنید حالات مختلف فرد و زوج بودن a و b را در شرط بررسی کنیدگ)

گرامر آن مشابه مساله ی قبلی آن می باشد (یعنی مشابه گرامر برای زبان [tex]L=\{a^nb^m,\: n m\: is\: even\}[/tex]) با این تفاوت که رشته ها در این زبان می توانند با a یا b شروع شوند و بعد از b هم می تواند a ظاهر شود پس تنها با اضافه کردن یک قاعده ی S-->SS به گرامر زبان سوال قبلی گرامر این زبان بدست می آید