(۲۴ دى ۱۳۹۱ ۰۷:۴۸ ب.ظ)Jooybari نوشته شده توسط:  سلام. اجتماع دو زبان هم رشته های بفرم a^n b^n c^n رو تولید میکنه و میشه با لم تزریق نشون داد رشته های حاصل از به توان رسوندن زیررشته vy توی اونا نه عضو زبان L1 خواهند بود و نه L2.

ممنون اما سوال دیگه ای که متوجه نشدم
۱- a^n b^n c^n که زبان a^n b^n رو تولید نمیکنه؟
۲-وقتی تو این مجموعه یا اومده یعنی اگر یکی از دو شرط هم شرایط مستقل از متن رو داشته باشه مستقل از متنه(برعکس وقتی که and میاد باید هردو شرط برای مستق از متن بودن برقرار باشه) درسته؟

(۲۴ دى ۱۳۹۱ ۱۲:۴۳ ق.ظ)fas نوشته شده توسط:  - در زبان l1 اگر به ازای n=m زبان مستقل از متن باشه دیگه لازم نیست به ازای n=2m بررسی بشه یا هردو شرط باید بررسی بشه؟

چون گفته "یا" یعنی هردو شرط میتونند در زبان باشند.پس باید بررسی بشه. و با وجود n=2m هم زبان مستقل از متن هست.چون با قوانین زیر تولید میشن:
s-->aSbb | lambda

نمیشه اینقدر سریع نتیجه گرفت. باید تعریف زبان رو تشکیل داد. حالات کلی وجود داره که مثلاً اشتراک دو زبان مستقل از متن، مستقل از متنه. ولی توی سوالات یجوری طرح میکنن که به ازای زبانهای داده شده منظم باشه. (مثلاً اشتراک زبان با مکملش) توی این سوال هم اگه زبان L2 زیرمجموعه زبان L1 بود اشتراکشون هم مستقل از متن میشد.

این سوال فقط قسمت (الف) درسته
زبان دوم اصلا مستقل از متن نیس با ماشین پشته ای نمیشه رسمش کرد... این زبان حساس به متنه.
و نمیتونیم به طور قطعی بگیم اجتماع دو زبان مستقل از متن ، مستقل از متن است.
قسمت (د) که اصلا به هم ربط ندارن