سلام.
۱/ مستقل از متن. چون به حافظه نامحدود برای تعداد ۰ نیاز داره. مبهم نیست و زبانش $L=\{0^n1^n|n\geq 1\}$

۲/ مستقل از متن. چون باید یکی بیشتر از مجموع تعداد + و _، a بیاد. پس به حافظه نامحدود نیاز داره. مبهم نیست. زبانش میشه نمایش پیشوندی از جمع یا تفریق اعداد با فرض عدد بودن a. $L=\{w|w=yz \cap n_ (w) n_-(w)=n_a(w) 1 \cap n_ (y) n_-(y)\geq n_a(y) 1 \}$

۳/ مستقل از متن. چون به حافظه نامحدود برای تعداد ) ها نیازه که بعدش باید ( بیاره. مبهمه. پرانتز های منظم رو تولید میکنه. یعنی nتا ) و nتا ( که در هر زیرمجموعه ای از سمت چپ، تعداد ( ها بیشتر نیست. $L=\{w|w=yz \cap n_((w)=n_)(w) \cap n_((y)\geq n_)(y) \}$

۴/ مستقل از متن. چون باید تعداد a یا b رو داشته باشه. مبهمه و رشته های با a و b برابر تولید میکنه. $L=\{w|n_a(w)=n_b(w) \}$

۵/ فکر کنم صورت سوالش یکم اشکال داره. اگه صورتش بود $S\to S S|S-S|S*S|(S)|a$ میشد تمام عبارات منطقی متشکل از جمع و تفریق و ضرب اعداد که مبهم هم هست.