چون تو گرارم قانون S-->aSa می گه اگه اول رشته a گذاشتی برو آخر رشته هم a بذار
و قانون S-->bSb می گه اگه اول رشته b گذاشتی برو آخر رشته هم b بذار

و هذ بار که این طرف یه a ای می ذاره می ره اون طرف متناظرش یه a می ذاره و همین طور برای b
مثلا به اشتقاق زیر دقت کنید:
S-->bSb-->baSab-->babSbab-->babbbab
تو هر مرحله رشته هاش متقارنند علتش هم دوتا قانون S-->aSa و S-->bSb هست
اگه مثلا یه قانون S-->aSb داشتیم ، تقارن خراب می شد