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

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


1.به ازای هرزبان منظم A یک زبان نامنظم B وجود دارد که [tex]A\subseteq B[/tex]
2.به ازای هرزبان منظم A یک زبان B وجود دارد که [tex]A\subseteq B[/tex]
3.به ازای هرزبان منظم A یک زبان B وجود دارد که [tex]A\subset B[/tex]
4.خانواده زبانهای منظم زیرمجموعه محض خانواده زبانهای نامنظم هستند

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

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

(02 بهمن 1393 11:06 ب.ظ)Hamid_0311 نوشته شده توسط: [ -> ]با سلام ببینید با یک مثال نقض میتونید همه را حل کنید البته یکم مفهمومارو باید بهش مسلط باشید چیزی نیست که بگیم راه حلیه و باید مفهوم ها را درست متوجه شده باشید

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

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