تالار گفتمان مانشت
مثال۳ گرامر پوران - نسخه‌ی قابل چاپ

مثال۳ گرامر پوران - dokhtare payiz - 17 مرداد ۱۳۹۳ ۰۷:۳۲ ب.ظ

L={a^n b^m | n!=2m}
برای تولید رشته واسه این زبان اگه n>2mبگیریم به ازایn=2k+m k>=1 میشه پس به ازای هر دو عنصر a یک عنصر b تولید میشه ولی تو کتاب در هر دو حالت گفته واسه هر دو b یک a تولید میشه!

RE: مثال۳ گرامر پوران - Jooybari - 18 مرداد ۱۳۹۳ ۱۰:۰۵ ق.ظ

سلام. برای این سوال برای افزایش طول به ازای هر b باید دوتا a داشته باشیم. حرف شما درسته.
کتاب پوران به نظرم منبع مناسبی برای نظریه نیست. بهتره از لینز استفاده کنید.
موفق باشید.