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

سلام
1. جواب بله است.
چون حاصل اشتراک یک زبان CF است . حال کافی است برای این زبان بررسی کنیم ببینیم تهی است یا نه که برای این کار باید ببینیم متغیر شروع زبان حاصل یک متغیر مفید است یا خیر.
2.برای بررسی برابر بودن دو زبان باید
تهی=L2-L1 شود یعنی تهی =متممL2∩L1 شود.
الف)جواب خیر است.زیرا حاصل اشتراک برابر یک زبان نامحدود است و برای این زبان نیز مساله برابر تهی بودنش تصمیم ناپذیره.
ب)جواب بله است.چون حاصل اشتراک زبان مستقل از متن است .
ج)بله.
3.اینو دقیق نمیدونم.ولی فک کنم با ماشین تورینگ قطعی دو نواره زمانش از همش کمتر میشه.