در مورد سوال اول باید بگم که اشتباست چون باید ۰ های سمت راست به تعداد ۱ها و ۰های سمت چپش وابسته باشه اما این گرامر ۰های سمت راست کاملا مستقل تولید میشن. گرامر صحیحش میتونه این باشه.

S-> 0 S 0 | B | lambda
B-> 1 B 0 | lambda
---------------------------

در مورد سوال دوم نه دوست عزیز نه lambda و نه a بلکه باید b باشه چون n و m هر دو بزرگتر از صفر هستند اگه lambda بذارید m میتونه صفر هم باشه و اگه a باشه هم گرامر زبان رو تولید نمیکنه.

-----------------------------
سوال ۳ رو کامل متوجه نشدم. منظورتون چیه بازه رو چطور بدست آورده یعنی چی؟

---

در مورد سوال چهار ،هر دو زبان یکی هستن. زبان اولی ۲تا a* پشت سر هم در زبان دومی رو یکی کرده که این تغییری ایجاد نمیکنه.
البته منظورتون در مورد این سوال هم واضح نیست شاید من اشتباه برداشت کردم؟؟!