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