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

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

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

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

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