جواب سوال سه گزینه الف درسته
ببخسید سوال یک هیچ گرامری تعریف نکرده ؟ فقط گفته G؟

منظور از مثلا G0 مجموعه تمام گرامرهایی هستش که زبان های نوع صفر یا همون زبان های بدون محدودیت رو تولید می کنن
جواب سوال اول گزینه دو میشه
جوال سوال دوم گزینه یک میشه
جواب سوال سه هم گزینه چهارم میشه

سوال ۱ --> 2 میشه
سوال ۲ --> 2 میشه چون نوع ۱ همون CS است( حساس به متن )و نوع ۳ همون زبان های منظمه.
سوال ۳ --> بهش نمیخوره تست باشه چون از یه دید ۴ میشه و از یه دید ۱و ۲ هم درست هستند چراکه اگه شما NFA برای اون رسم کردی میتونی با روال تبدیل اونو به DFA تبدیل کنی و بلعکس . در هر صورت طبق قضیه ای که در کتب مرجع هست اگه شما یک FA ترسیم کردی پس یک گرامر هم میتنی براش بنویسی و میتونی از روی اون یک عبارت منظم براش بنویسی.( راه اثبات کردن منظم بودن زبان همینا هست دیگه که همش با ترسیم اتاماتای متناهی برقرار میشه ). در واقع برای این میگم ۱و ۲درسته چون اینا با هم معادل هستن. ۴ هم به این دلیل درسته که هر چند NFA و ِDFA معادلند اما لزومی نداره که حتما NFA بکشی ممکنه یه نفر برای اثبات DFA بکشه یه نفر دیگه یک عبارت منظم بنویسه و ...
در کل این سوال اصلا شبیه تست استاندارد نیست.

به نظرم جواب صحیح سوال دوم هم گزینه ۱و۲ باهمه
چون در کتاب سود کامپ ص ۲۴۳ این تقسیم بندی‌ها رو داره...
آتاماتای متناهی قطعی و غیر قطعی ماشینهای پذیرنده گرامرهای باقاعده و خطی راست و چپ هست.
پس با این حساب هر دو گزینه صحیحه ولی چرا شما هیچکدام رو انتخاب می کنید.
به هیچ عنوان هیچ کدام نمیشه!!!

۱------ گزینه ۲
۲------ گزینه ۲
۳------ گزینه ۴ صحیحه.به این دلیل که گزینه‌ها به صورت شرط لازم و کافی بیان شده( اگر و فقط اگر )که همین کار رو خراب میکنه. ممکنه زبانی منظم باشه اما فقط با NFA قابل نمایش باشه و نشه اونو با DFA نمایش داد. اما زبانی که با DFA قابل نمایش هست قطعا یک زبان منظمه. پس هر دو گزینه ۱ و ۲ به خاطر نحوه بیان و وجود شرط لازم و کافی رد میشن.

(۰۷ مهر ۱۳۹۰ ۰۸:۱۷ ب.ظ)summer_66 نوشته شده توسط:  ممکنه زبانی منظم باشه اما فقط با NFA قابل نمایش باشه و نشه اونو با DFA نمایش داد.

میشه توضیح بدید یعنی چی ؟ مگه میشه زبانی NFA باشه اما DFA نداشته باشه!!!

(۰۷ مهر ۱۳۹۰ ۰۸:۱۷ ب.ظ)summer_66 نوشته شده توسط:  ممکنه زبانی منظم باشه اما فقط با NFA قابل نمایش باشه و نشه اونو با DFA نمایش داد.

این قسمت از حرف شما کمی تا قسمتی غلطه.همه ما میدونیم که قدرت ماشین های NFA و DFA برابره.پس امکان نداره بشه زبانی رو مثال زد که براش بشه ماشین متناهی غیر قطعی رسم کرد و نشه براش ماشین متناهی قطعی رسم کرد.

(۰۷ مهر ۱۳۹۰ ۱۱:۲۳ ب.ظ)mfXpert نوشته شده توسط:  

(07 مهر ۱۳۹۰ ۰۸:۱۷ ب.ظ)summer_66 نوشته شده توسط:  ممکنه زبانی منظم باشه اما فقط با NFA قابل نمایش باشه و نشه اونو با DFA نمایش داد.

این قسمت از حرف شما کمی تا قسمتی غلطه.همه ما میدونیم که قدرت ماشین های NFA و DFA برابره.پس امکان نداره بشه زبانی رو مثال زد که براش بشه ماشین متناهی غیر قطعی رسم کرد و نشه براش ماشین متناهی قطعی رسم کرد.

حق با شماست.

خب الان شد گزینه ۴ یا ۱و۲؟

(۰۸ مهر ۱۳۹۰ ۰۲:۲۳ ق.ظ)پشتکار نوشته شده توسط:  خب الان شد گزینه ۴ یا ۱و۲؟

سوال ۳ جوابش گزینه ۴ میشه چون گزینه های ۱ و ۲ ناقص هستن و نمیتونن جواب باشن