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

درستی چند گزاره در موردزبانهای منظم ؟(زیرمجموعه ) - pooyaa - 02 بهمن ۱۳۹۳ ۱۰:۱۴ ب.ظ

سلام
میشه با دلیل درستی گزاره های زیر و روش حل اینجور سوالاتو بفرمایید


۱/به ازای هرزبان منظم A یک زبان نامنظم B وجود دارد که [tex]A\subseteq B[/tex]
۲/به ازای هرزبان منظم A یک زبان B وجود دارد که [tex]A\subseteq B[/tex]
۳/به ازای هرزبان منظم A یک زبان B وجود دارد که [tex]A\subset B[/tex]
۴/خانواده زبانهای منظم زیرمجموعه محض خانواده زبانهای نامنظم هستند

RE: درستی چند گزاره؟(زبانهای منظم) - Hamid_0311 - 02 بهمن ۱۳۹۳ ۱۱:۰۶ ب.ظ

با سلام ببینید با یک مثال نقض میتونید همه را حل کنید البته یکم مفهمومارو باید بهش مسلط باشید چیزی نیست که بگیم راه حلیه و باید مفهوم ها را درست متوجه شده باشید

گزینه یک خیلی راحت با مثال نقض سیگما استار حل میشه چرا؟ چون بزرگترین زبان منظم سیگما استار و میدونیم سیگما استار زیر مجموعه هیچ مجموعه جز خودش نیست خوب نقض شد
گزینه ۲ درسته چرا؟ چون زبان های منظم بزرگترینش سیگما استار و اینم گفته یک زبانی باشه که هر زبان منظمی پیدا کنیم زیر مجموعه ای این زبان باشه خوب شما بگو B باشه همون سیگما استار همه ی زبان ها منظم که زیر مجموعه سیگما استار هستن پس اوکیه
گزینه ۳ غلطه چرا؟ این گزینه عینا همون گزینه دوم هست ولی یه فرق اساسی داره چون نوشته زیر مجموعه سره باشه و توی گزینه اولم توضیح دادم که سیگما استار زیر مجموعه هیچی جز خودش نیست پس شما اگر A را بگیری سیگما استار نمی تونی زبانی پیدا کنی که سیگما استار زیر مجموعه سره اون باشه
گزینه ۴ هم که غلطه چرا؟ چون اصلا این دو مجموعه دو تا مجموعه ی disjoint هستن و قابل قیاس نیستن باهم زبان مگه می تونه هم منظم باشه هم نامنظم؟ این جمله اساسا غلطه پس گزینه ۲ درست هست موفق باشیدWink

RE: درستی چند گزاره؟(زبانهای منظم) - pooyaa - 03 بهمن ۱۳۹۳ ۱۲:۲۴ ق.ظ

(۰۲ بهمن ۱۳۹۳ ۱۱:۰۶ ب.ظ)Hamid_0311 نوشته شده توسط:  با سلام ببینید با یک مثال نقض میتونید همه را حل کنید البته یکم مفهمومارو باید بهش مسلط باشید چیزی نیست که بگیم راه حلیه و باید مفهوم ها را درست متوجه شده باشید

گزینه یک خیلی راحت با مثال نقض سیگما استار حل میشه چرا؟ چون بزرگترین زبان منظم سیگما استار و میدونیم سیگما استار زیر مجموعه هیچ مجموعه جز خودش نیست خوب نقض شد
گزینه ۲ درسته چرا؟ چون زبان های منظم بزرگترینش سیگما استار و اینم گفته یک زبانی باشه که هر زبان منظمی پیدا کنیم زیر مجموعه ای این زبان باشه خوب شما بگو B باشه همون سیگما استار همه ی زبان ها منظم که زیر مجموعه سیگما استار هستن پس اوکیه
گزینه ۳ غلطه چرا؟ این گزینه عینا همون گزینه دوم هست ولی یه فرق اساسی داره چون نوشته زیر مجموعه سره باشه و توی گزینه اولم توضیح دادم که سیگما استار زیر مجموعه هیچی جز خودش نیست پس شما اگر A را بگیری سیگما استار نمی تونی زبانی پیدا کنی که سیگما استار زیر مجموعه سره اون باشه
گزینه ۴ هم که غلطه چرا؟ چون اصلا این دو مجموعه دو تا مجموعه ی disjoint هستن و قابل قیاس نیستن باهم زبان مگه می تونه هم منظم باشه هم نامنظم؟ این جمله اساسا غلطه پس گزینه ۲ درست هست موفق باشیدWink

ممنون بابت توضیحات کاملتونSmile