تالار گفتمان مانشت
تشخیص مستقل از متن و قطعی بودن چند زبان - نسخه‌ی قابل چاپ

تشخیص مستقل از متن و قطعی بودن چند زبان - mostafa2012 - 27 دى ۱۳۹۳ ۰۱:۲۲ ق.ظ

تومستقل از متن من این ها رو میدونم:
- سمت چپ فقط یک NT
- اصولا بازگشتین
- اصولا الگو تقارنی دارند
- تقارنی تودر تو مشکلی نداره ولی تقارنی متداخل مشکل داره
- ....
-
-
اصول پاسخگویی به سوالات مستقل از متن رو نمیدونم.......(سوال ۵۶)

ببخشید من توی این مبحث خیلی ضعف دارم چیکار کنم (تواین مدت باقیمانده؟؟؟؟) اصولا همه اش اشتباه مزنم...(توی ۱ ۲ ۴ شک دارم)


[تصویر:  327428_94k30hrdfkno59f70h8x.png]

نمونه دوم:
[تصویر:  327428_lvxi8khfb2br3xg03vs6.png]

نمونه سوم :
[تصویر:  327428_uz19c8jii0s2a06kjrgb.png]

Huh

RE: نحوه مقابله با سوالات مستقل از متن - Hamid_0311 - 27 دى ۱۳۹۳ ۰۴:۱۴ ق.ظ

با سلام دوست عزیز ببیند سوال ۵۵ توضیح میدهم
گزینه یک میگه یه تعداد A میاد بعدش یه تعداد b که با هم برابرن قسمت دومش میگه یه تعداد A میاد بعدش یه تعداد b که تعداد b ها دو برابره
خوب ماشین بعد از اینکه B دید از کجا بدونه به ازای هر یک B که میبینه یک A پاپ کنه یا به ازای هر ۲ تا b یک دونه؟ پس غیر قطعی این کارو میکنه این از این
گزینه دوم میگه یه تعداد a میاد بعد یه تعداد b که باهم برابرن و باز بعدش یه تعداد a میاد و یه تعداد b که ۲ برابرن خوب حالا فرض کنیم قسمت اول n باشه ۰
ماشین که نمیدونه مال قسمت اوله یا دوم پس نمیدونه به ازای هر یک B یه دونه A پاپ کنه یا به ازای هر ۲ تا B یک دونه؟ پس غیر قطعی این کارو میکنه
اما گزینه سوم
دقت کنید شرط n بزرگتر از یک
ادیت:
گزینه سوم مستقل از متن نیست چون یک حافظه دیگه برای نگه داری n لازم هستش پس با یه پشته نمیشه حلش کرد و مستقل از متن نیست حساس به متن هستش گزینه ۴ میشه جواب

اما سوال بعدی باید ببینید اشتراک زبان ها چی میشه
گزینه یک اشتراکش میشه قسمت دومش که مستقل از متن هست
گزینه دوم اشتراکش میشه تهی که یک زبان منظم پس مستقل از متن هم هست
گزینه سوم هم که اشتراکش میشه قسمت دومش که اونم مستقل از متنه
پس گزینه ۴ میشه جواب

اما سوال بعدی یکم باید جبر مجموعه ها اینا یادتون باشه

[tex]A-B\: =\: A\cap\: B^-[/tex]

این سوال یکم روش شک دارم واسه همین جواب کامل نمیدم تا بعد حلش کنمBig Grin البته فک کنم گزینه ۳ درسته

نظریه درس اسونی میشه اگر فهمیده باشیش اگر نه یه جورای مثل ساختمان داده احتمال غلط زدن توش زیاده و سعی کنید سوالاتی که مطمن نیستید نزنید

RE: نحوه مقابله با سوالات مستقل از متن - arefeh.hp - 27 دى ۱۳۹۳ ۱۱:۲۸ ق.ظ

(۲۷ دى ۱۳۹۳ ۰۴:۱۴ ق.ظ)Hamid_0311 نوشته شده توسط:  اما سوال بعدی باید ببینید اشتراک زبان ها چی میشه
گزینه یک اشتراکش میشه قسمت دومش که مستقل از متن هست
گزینه دوم اشتراکش میشه تهی که یک زبان منظم پس مستقل از متن هم هست
گزینه سوم هم که اشتراکش میشه قسمت دومش که اونم مستقل از متنه
پس گزینه ۴ میشه جواب

این اشتراک زبانها رو چه جوری پیدا میکنیم؟Huh

RE: نحوه مقابله با سوالات مستقل از متن - Hamid_0311 - 27 دى ۱۳۹۳ ۱۲:۴۹ ب.ظ

کافیه ببینید رشته های که هرکدوم تولید می کنه چیه و چطوری هستن ایا اشتراک دارن یا نه
مثلا گزینه یک
سمت چپ داره میگه اول یه تعداد A میاد که اینها با یه تعداد c اخر رشته برابره یعنی میتونه ۱و۲و۳و۴//// باشه
اما وسطش چی؟ میگه یه تعداد b که با یه تعداد c بعدش برابره یعنی .۱/۲/۳/۴و...
حالا سمت راست قسمت اولش که عینا مثل همونه و عین سمت چپ میمونه اما قسمت وسطش دقت کنید میگه تعداد باید زوج باشه یعنی
۲و۴و۶و۸و ...
خوب قبول دارید که قسمت سمت چپ میتونه رشته های قسمت سمت راست تولید کنه؟ بله پس اشتراک این دو زبان میشه قسمت سمت راست اما اگر اجتماع خواسته بودیم میشد سمت چپ موفق باشیدBig Grin

RE: نحوه مقابله با سوالات مستقل از متن - arefeh.hp - 27 دى ۱۳۹۳ ۰۱:۰۳ ب.ظ

(۲۷ دى ۱۳۹۳ ۱۲:۴۹ ب.ظ)Hamid_0311 نوشته شده توسط:  کافیه ببینید رشته های که هرکدوم تولید می کنه چیه و چطوری هستن ایا اشتراک دارن یا نه
مثلا گزینه یک
سمت چپ داره میگه اول یه تعداد A میاد که اینها با یه تعداد c اخر رشته برابره یعنی میتونه ۱و۲و۳و۴//// باشه
اما وسطش چی؟ میگه یه تعداد b که با یه تعداد c بعدش برابره یعنی .۱/۲/۳/۴و...
حالا سمت راست قسمت اولش که عینا مثل همونه و عین سمت چپ میمونه اما قسمت وسطش دقت کنید میگه تعداد باید زوج باشه یعنی
۲و۴و۶و۸و ...
خوب قبول دارید که قسمت سمت چپ میتونه رشته های قسمت سمت راست تولید کنه؟ بله پس اشتراک این دو زبان میشه قسمت سمت راست اما اگر اجتماع خواسته بودیم میشد سمت چپ موفق باشیدBig Grin

ممنونمSmile

RE: نحوه مقابله با سوالات مستقل از متن - maryam.roshan - 27 دى ۱۳۹۳ ۰۶:۴۷ ب.ظ

در زبان های مستقل از متن برای تشخیص متناهی بودن یا نامتناهی بودن و تهی بودن و پدیرش لامدا الگوریتم هایی وجود دارد
حال در سوال ۵۷
قسمت الف زبان [tex]L1\: \cap\: L2'\: [/tex]
لروما مستقل از متن نمیباشد و چون زبان های مستقل از متن تحت مکمل بسته نیستند
قسمت ب . مستقل از متن میباشد [tex]L2\: \cap\: L1'\: [/tex]
و اگر برابر با تهی باشد الگوریتمی برای تشخیص وجود دارد
قسمت ج نیز چون زبان منظم زیر مجموعه زبان مستقل از متن است و زبان های مسقل از متن تحت کانکت بسته هستند پس
[tex]L1\: .\: L2\: [/tex]
مستقل از متن میباشد و الگوریتمی برای تشخیص تهی بودن دارد
گزینه ۴ درسته ؟؟

RE: نحوه مقابله با سوالات مستقل از متن - Hamid_0311 - 27 دى ۱۳۹۳ ۰۷:۲۶ ب.ظ

دقیقا توضیحات همینه ایشون توضیح دادن ولی دیگه حس توضیحش نبود Big Grin ولی یکم دقت کنید خودتون درست بودن
ج و ب را توضیح دادید بعد میگید گزینه ۴
گزینه ۳ باید درست باشهWink

RE: نحوه مقابله با سوالات مستقل از متن - maryam.roshan - 27 دى ۱۳۹۳ ۰۸:۵۴ ب.ظ

آهان درسته حواسم نبود Smile

RE: نحوه مقابله با سوالات مستقل از متن - mostafa2012 - 29 دى ۱۳۹۳ ۰۳:۰۸ ب.ظ

(۲۷ دى ۱۳۹۳ ۰۴:۱۴ ق.ظ)Hamid_0311 نوشته شده توسط:  با سلام دوست عزیز ببیند سوال ۵۵ توضیح میدهم
.............
اما گزینه سوم
دقت کنید شرط n بزرگتر از یک
توان ها هم همه n پس ماشین دچار عدم قطعیت نمیشه و به صورت قطعی کارشو انجام میده پس مستقل از متن قطعی
گزینه ۳ میشه جواب
........

سلام
باتشکر از توجهتان 'Hamid_0311
توضیحاتتون خیلی خوبه ..... ولی ببخشید
سوال ۵۵ گزینه سوم که ببخشید سوال که اتفاقا گفته بزرگ تر مساوری یک؟؟

RE: نحوه مقابله با سوالات مستقل از متن - Hamid_0311 - 29 دى ۱۳۹۳ ۰۷:۱۸ ب.ظ

چه فرقی داره مهم نیست Big Grin حالا بزرگتر از یک یا بزرگتر مساوی مهم توان ها و سمبل ها هست که هیچ موقع حالتی ایجاد نمی کنه که باعث عدم قطعیت ماشین بشه حالا چه اون یک باشه چه ۱۰ چه بزرگتر چه بزرگتر مساوی Wink

RE: نحوه مقابله با سوالات مستقل از متن - ss.hoseini - 05 بهمن ۱۳۹۳ ۰۵:۴۴ ب.ظ

(۲۷ دى ۱۳۹۳ ۰۴:۱۴ ق.ظ)Hamid_0311 نوشته شده توسط:  با سلام دوست عزیز ببیند سوال ۵۵ توضیح میدهم
گزینه یک میگه یه تعداد A میاد بعدش یه تعداد b که با هم برابرن قسمت دومش میگه یه تعداد A میاد بعدش یه تعداد b که تعداد b ها دو برابره
خوب ماشین بعد از اینکه B دید از کجا بدونه به ازای هر یک B که میبینه یک A پاپ کنه یا به ازای هر ۲ تا b یک دونه؟ پس غیر قطعی این کارو میکنه این از این
گزینه دوم میگه یه تعداد a میاد بعد یه تعداد b که باهم برابرن و باز بعدش یه تعداد a میاد و یه تعداد b که ۲ برابرن خوب حالا فرض کنیم قسمت اول n باشه ۰
ماشین که نمیدونه مال قسمت اوله یا دوم پس نمیدونه به ازای هر یک B یه دونه A پاپ کنه یا به ازای هر ۲ تا B یک دونه؟ پس غیر قطعی این کارو میکنه
اما گزینه سوم
دقت کنید شرط n بزرگتر از یک
توان ها هم همه n پس ماشین دچار عدم قطعیت نمیشه و به صورت قطعی کارشو انجام میده پس مستقل از متن قطعی
گزینه ۳ میشه جواب

اما سوال بعدی باید ببینید اشتراک زبان ها چی میشه
گزینه یک اشتراکش میشه قسمت دومش که مستقل از متن هست
گزینه دوم اشتراکش میشه تهی که یک زبان منظم پس مستقل از متن هم هست
گزینه سوم هم که اشتراکش میشه قسمت دومش که اونم مستقل از متنه
پس گزینه ۴ میشه جواب

اما سوال بعدی یکم باید جبر مجموعه ها اینا یادتون باشه

[tex]A-B\: =\: A\cap\: B^-[/tex]

این سوال یکم روش شک دارم واسه همین جواب کامل نمیدم تا بعد حلش کنمBig Grin البته فک کنم گزینه ۳ درسته

نظریه درس اسونی میشه اگر فهمیده باشیش اگر نه یه جورای مثل ساختمان داده احتمال غلط زدن توش زیاده و سعی کنید سوالاتی که مطمن نیستید نزنید


سلام.تو سوال ۵۵ گزینه ۳ که اصلا مستقل از متن نیست.جواب میشه هیچکدام.

RE: نحوه مقابله با سوالات مستقل از متن - Hamid_0311 - 05 بهمن ۱۳۹۳ ۰۶:۲۲ ب.ظ

درسته اشتباه شده بود اصلاج شد تشکر بابت یاداوری موفق باشید