تالار گفتمان مانشت
چرا عکس نقیض لم تزریق مستقل از متن نشان دهنده نامنظم بودنه؟ - نسخه‌ی قابل چاپ

چرا عکس نقیض لم تزریق مستقل از متن نشان دهنده نامنظم بودنه؟ - ریحان - ۲۹ دى ۱۳۹۳ ۰۳:۱۷ ب.ظ

دوستان در سال فکر کنم ۹۱ یا ۹۲ سوال بوده که چظور بفهمیم زبان نامنظمه.بعد هم متن قضیه ی عکس نقیض لم تزریق را نوشته یعنی گقته هیچ رشته ای نباشد که.......

حالا سوال من اینه که چرا عکس نقیضش کرده؟ خب خوده لم تزریق مستقل از متن که واسه مستقل از متن نبودنه و در نتیجه منظم نبودنه که
چون اگه مستقل از متن نباشه خوب منظمم نیست..پس چرا خوده متن لم تزریق زبانهای مستقل از متن جواب نشده؟ که میگه رشته ای وجود داره که...

چرا عکس نقیض کرده؟

RE: چرا عکس نقیض لم تزریق مستقل از متن نشان دهنده نامنظم بودنه؟ - Jooybari - 29 دى ۱۳۹۳ ۰۴:۵۸ ب.ظ

سلام. برای اینکه کسی که میاد کنکور بده تمامم دروس رو بخونه. اینطور نباشه که یکی مثلاً منطقی رو بخونه و اصلاً سمت معماری نره.
تو این سوال یه قاعده ریاضی رو با این قضیه ترکیب کرده که مجبور بشید تمام منابع رو بخونید. اگه دقت کرده باشید اکثر سوالات مبحث گسسته حداقل به دو تا مبحث وابسته هستن. مثلاً یه سوال از سه مبحث گراف و ترکیبیات و مجموعه ها. این سیاست جدید سازمان سنجشه.

RE: چرا عکس نقیض لم تزریق مستقل از متن نشان دهنده نامنظم بودنه؟ - ریحان - ۳۰ دى ۱۳۹۳ ۰۲:۱۳ ق.ظ

ممنون
میشه دلیل علمیشم توضیح بدید؟

RE: چرا عکس نقیض لم تزریق مستقل از متن نشان دهنده نامنظم بودنه؟ - fatemeh69 - 30 دى ۱۳۹۳ ۰۳:۳۰ ق.ظ

خود لم تزریق برای زبان های منظم :

برای هر زبان منظم نامتناهی عدد m ای وجود دارد که هر رشته با طول بزرگتر مساوی m را می توان به صورت xyz تجزیه کرد که به ازای هر i رشته ی [tex]xv^iy[/tex] عضو زبان باشد

عکس نقیض لم تزریق زبان های منظم:
اگر در زبانی نامتناهی رشته ای با طول بزرگتر مساوی m وجود داشت که به ازای هر نوع تجزیه ی xyz بتوان i ای پیدا کرد که [tex]xv^iy[/tex] عضو زبان نباشد، پس زبان منظم نیست


لم تزریق زبان های مستقل از متن:
برای هر زبان مستقل از متن نامتناهی m ای وجود دارد که هر رشته ی بزرگتر مساوی m را م ی توان به فرم uvxyz ای تجزیه کرد که به ازای هر i رشته ی [tex]uv^ixy^iz[/tex] عضو زبان باشد


عکس نقیض لم تزریق مستقل از متن:
اگر در زبانی نامتناهی رشته ای با طول بزرگتر مساوی m وجود داشت که به ازای هر نوع تجزیه ی uvxyz بتوان i ای پیدا کرد که [tex]uv^ixy^iz[/tex] عضو زبان نباشد، پس زبان مستقل از متن نیست


اگه بگه کدامیک از عبارت های زیر درسته هم لم های تزریق هم عکس نقیضشان عبارت های درستی هستند
ااگه بگه از کدوم برای اثبات نامنظم بودن استفاده می شه از عکس نقیض لم تزریق منظم و عکس نقیض لم تزریق مستقل از متن برای اثبات نامنظم بودن استفاده می شه

RE: چرا عکس نقیض لم تزریق مستقل از متن نشان دهنده نامنظم بودنه؟ - ریحان - ۳۰ دى ۱۳۹۳ ۱۰:۴۸ ب.ظ

ممنونم.عالی بود.

RE: چرا عکس نقیض لم تزریق مستقل از متن نشان دهنده نامنظم بودنه؟ - ریحان - ۱۱ بهمن ۱۳۹۳ ۰۷:۲۵ ب.ظ

یه سوال ..گفتین واسه منظم نبودن از عکس نقیض لم تزریق برای زبانهای منظم و عکس نقیض لم تزریق زبانهای مستقل از متن استفاده میکنیم.خو مگه از خوده لم تزریق واسه زبانهای منظمم واسه تشخیص نامنظمی زبان استفاده نمیکنیم؟

RE: چرا عکس نقیض لم تزریق مستقل از متن نشان دهنده نامنظم بودنه؟ - fatemeh69 - 12 بهمن ۱۳۹۳ ۰۵:۳۴ ق.ظ

(۱۱ بهمن ۱۳۹۳ ۰۷:۲۵ ب.ظ)ریحان نوشته شده توسط:  یه سوال ..گفتین واسه منظم نبودن از عکس نقیض لم تزریق برای زبانهای منظم و عکس نقیض لم تزریق زبانهای مستقل از متن استفاده میکنیم.خو مگه از خوده لم تزریق واسه زبانهای منظمم واسه تشخیص نامنظمی زبان استفاده نمیکنیم؟

یک بار دیگر به تعاریفی که گفتم دقت کنید
عکس نقیض لم تزریق زبان های منظم:
اگر در زبانی نامتناهی رشته ای با طول بزرگتر مساوی m وجود داشت که به ازای هر نوع تجزیه ی xyz بتوان i ای پیدا کرد که [tex]xv^iy[/tex] عضو زبان نباشد، پس زبان منظم نیست

پیس عکس نقیض لم تزریق منظم یه شرطی می ذاره واسه نامنظم بودن زبان
ولی خود لم تزریق می گه اگه زبان منظم بود اون وقت [tex]xy^iz[/tex] همیشه عضو زبانه و هیچ چیزی در مورد منظم نبودن زبان به ما نمی گه

RE: چرا عکس نقیض لم تزریق مستقل از متن نشان دهنده نامنظم بودنه؟ - ریحان - ۱۲ بهمن ۱۳۹۳ ۱۲:۱۳ ب.ظ

فهمیدم.هووف.مرسی