سلام. این گرامر حساس به متنه.

تشخیص رشته ها سخت نیست. اوله یه BaP داریم. هر P میتونه به RP تبدیل بشه. R هم برای حذف شدن باید بهسمت چپ براه تا به B برسه. در طول این حرکت تعداد aها دو برابر میشن. در نهایت P و R و B حذف میشن و تعداد a که باقی میمونه میشه [tex]2^i;i\geq 0[/tex].