اثبات مستقل از متن بودن a^mb^m - نسخهی قابل چاپ |
اثبات مستقل از متن بودن a^mb^m - alifarokhi - 28 آذر ۱۳۹۳ ۰۹:۰۱ ب.ظ
[attachment=17457]سلام خدمت شما دوستان عزیز یه سوال داشتم زبان زیر مستقل از متن است ولی نمیتونم اثباتش کنم کسی میتونه اثباتش کنه ؟ با تشکر |
RE: مستقل از متن - Hamid_0311 - 28 آذر ۱۳۹۳ ۱۰:۵۶ ب.ظ
با سلام برای اثباتش این طوری می نویسیم a^m b^m شرط m بزرگتر مساوی ۰ اشتراکش با زبان مکمل این پرانتز (a^30 b^30 ) قبول دارید این همون عبارت هست یا نه؟ خوب زبان اول که مستقل از متن هست زبان دوم هم که یک زبان منظم چرا؟ چون محدود هست و مکمل هر زبان منظم هم منظم خوب اشتراک یک زبان منظم و مستقل از متن چی میشه؟ مستقل از متن به همین راحتی حل شد موفق باشید. |