تالار گفتمان مانشت

[attachment=17457]سلام خدمت شما دوستان عزیز یه سوال داشتم زبان زیر مستقل از متن است ولی نمیتونم اثباتش کنم کسی میتونه اثباتش کنه ؟
با تشکر

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