تالار گفتمان مانشت
اثبات مستقل از متن بودن a^mb^m - نسخه‌ی قابل چاپ

اثبات مستقل از متن بودن a^mb^m - alifarokhi - 28 آذر ۱۳۹۳ ۰۹:۰۱ ب.ظ

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

RE: مستقل از متن - Hamid_0311 - 28 آذر ۱۳۹۳ ۱۰:۵۶ ب.ظ

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