تالار گفتمان مانشت

چرا تو این گرامر [tex]W=W^R[/tex]
؟؟

[tex]S->aSa|bSb|a|b[/tex]

با سلام الان مشکلتون چیه؟ گرامر که درسته زبانم درسته میگه هر رشته ای که زبان تولید میکنه با معکوس رشته یکسانه یعنی رشته متقارن هستش و تقارن داره
یعنی شما هر رشته ای که زبان تولید میکنه را در نظر بگیر معکوس هر رشته میشه خود رشته بهش میگن رشته های متقارن موفق باشید

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

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

درسته ممنونم دوستان حواسم نبود
اگر S بهa یا b نمیرفت .زبان میشد [tex]ww^R[/tex]