با سلام برای اثباتش این طوری می نویسیم
a^m b^m شرط m بزرگتر مساوی ۰ اشتراکش با زبان مکمل این پرانتز (a^30 b^30 )
قبول دارید این همون عبارت هست یا نه؟ خوب زبان اول که مستقل از متن هست
زبان دوم هم که یک زبان منظم چرا؟ چون محدود هست و مکمل هر زبان منظم هم منظم
خوب اشتراک یک زبان منظم و مستقل از متن چی میشه؟ مستقل از متن
به همین راحتی حل شد موفق باشید.