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

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

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


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

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

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

Huh
با سلام دوست عزیز ببیند سوال 55 توضیح میدهم
گزینه یک میگه یه تعداد A میاد بعدش یه تعداد b که با هم برابرن قسمت دومش میگه یه تعداد A میاد بعدش یه تعداد b که تعداد b ها دو برابره
خوب ماشین بعد از اینکه B دید از کجا بدونه به ازای هر یک B که میبینه یک A پاپ کنه یا به ازای هر 2 تا b یک دونه؟ پس غیر قطعی این کارو میکنه این از این
گزینه دوم میگه یه تعداد a میاد بعد یه تعداد b که باهم برابرن و باز بعدش یه تعداد a میاد و یه تعداد b که 2 برابرن خوب حالا فرض کنیم قسمت اول n باشه 0
ماشین که نمیدونه مال قسمت اوله یا دوم پس نمیدونه به ازای هر یک B یه دونه A پاپ کنه یا به ازای هر 2 تا B یک دونه؟ پس غیر قطعی این کارو میکنه
اما گزینه سوم
دقت کنید شرط n بزرگتر از یک
ادیت:
گزینه سوم مستقل از متن نیست چون یک حافظه دیگه برای نگه داری n لازم هستش پس با یه پشته نمیشه حلش کرد و مستقل از متن نیست حساس به متن هستش گزینه 4 میشه جواب

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

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

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

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

نظریه درس اسونی میشه اگر فهمیده باشیش اگر نه یه جورای مثل ساختمان داده احتمال غلط زدن توش زیاده و سعی کنید سوالاتی که مطمن نیستید نزنید
(27 دى 1393 04:14 ق.ظ)Hamid_0311 نوشته شده توسط: [ -> ]اما سوال بعدی باید ببینید اشتراک زبان ها چی میشه
گزینه یک اشتراکش میشه قسمت دومش که مستقل از متن هست
گزینه دوم اشتراکش میشه تهی که یک زبان منظم پس مستقل از متن هم هست
گزینه سوم هم که اشتراکش میشه قسمت دومش که اونم مستقل از متنه
پس گزینه ۴ میشه جواب

این اشتراک زبانها رو چه جوری پیدا میکنیم؟Huh
کافیه ببینید رشته های که هرکدوم تولید می کنه چیه و چطوری هستن ایا اشتراک دارن یا نه
مثلا گزینه یک
سمت چپ داره میگه اول یه تعداد A میاد که اینها با یه تعداد c اخر رشته برابره یعنی میتونه 1و2و3و4.... باشه
اما وسطش چی؟ میگه یه تعداد b که با یه تعداد c بعدش برابره یعنی .1.2.3.4و...
حالا سمت راست قسمت اولش که عینا مثل همونه و عین سمت چپ میمونه اما قسمت وسطش دقت کنید میگه تعداد باید زوج باشه یعنی
2و4و6و8و ...
خوب قبول دارید که قسمت سمت چپ میتونه رشته های قسمت سمت راست تولید کنه؟ بله پس اشتراک این دو زبان میشه قسمت سمت راست اما اگر اجتماع خواسته بودیم میشد سمت چپ موفق باشیدBig Grin
(27 دى 1393 12:49 ب.ظ)Hamid_0311 نوشته شده توسط: [ -> ]کافیه ببینید رشته های که هرکدوم تولید می کنه چیه و چطوری هستن ایا اشتراک دارن یا نه
مثلا گزینه یک
سمت چپ داره میگه اول یه تعداد A میاد که اینها با یه تعداد c اخر رشته برابره یعنی میتونه ۱و۲و۳و۴//// باشه
اما وسطش چی؟ میگه یه تعداد b که با یه تعداد c بعدش برابره یعنی .۱/۲/۳/۴و...
حالا سمت راست قسمت اولش که عینا مثل همونه و عین سمت چپ میمونه اما قسمت وسطش دقت کنید میگه تعداد باید زوج باشه یعنی
۲و۴و۶و۸و ...
خوب قبول دارید که قسمت سمت چپ میتونه رشته های قسمت سمت راست تولید کنه؟ بله پس اشتراک این دو زبان میشه قسمت سمت راست اما اگر اجتماع خواسته بودیم میشد سمت چپ موفق باشیدBig Grin

ممنونمSmile
در زبان های مستقل از متن برای تشخیص متناهی بودن یا نامتناهی بودن و تهی بودن و پدیرش لامدا الگوریتم هایی وجود دارد
حال در سوال ۵۷
قسمت الف زبان [tex]L1\: \cap\: L2'\: [/tex]
لروما مستقل از متن نمیباشد و چون زبان های مستقل از متن تحت مکمل بسته نیستند
قسمت ب . مستقل از متن میباشد [tex]L2\: \cap\: L1'\: [/tex]
و اگر برابر با تهی باشد الگوریتمی برای تشخیص وجود دارد
قسمت ج نیز چون زبان منظم زیر مجموعه زبان مستقل از متن است و زبان های مسقل از متن تحت کانکت بسته هستند پس
[tex]L1\: .\: L2\: [/tex]
مستقل از متن میباشد و الگوریتمی برای تشخیص تهی بودن دارد
گزینه ۴ درسته ؟؟
دقیقا توضیحات همینه ایشون توضیح دادن ولی دیگه حس توضیحش نبود Big Grin ولی یکم دقت کنید خودتون درست بودن
ج و ب را توضیح دادید بعد میگید گزینه 4
گزینه 3 باید درست باشهWink
آهان درسته حواسم نبود Smile
(27 دى 1393 04:14 ق.ظ)Hamid_0311 نوشته شده توسط: [ -> ]با سلام دوست عزیز ببیند سوال ۵۵ توضیح میدهم
.............
اما گزینه سوم
دقت کنید شرط n بزرگتر از یک
توان ها هم همه n پس ماشین دچار عدم قطعیت نمیشه و به صورت قطعی کارشو انجام میده پس مستقل از متن قطعی
گزینه ۳ میشه جواب
........

سلام
باتشکر از توجهتان 'Hamid_0311
توضیحاتتون خیلی خوبه ..... ولی ببخشید
سوال 55 گزینه سوم که ببخشید سوال که اتفاقا گفته بزرگ تر مساوری یک؟؟
چه فرقی داره مهم نیست Big Grin حالا بزرگتر از یک یا بزرگتر مساوی مهم توان ها و سمبل ها هست که هیچ موقع حالتی ایجاد نمی کنه که باعث عدم قطعیت ماشین بشه حالا چه اون یک باشه چه 10 چه بزرگتر چه بزرگتر مساوی Wink
(27 دى 1393 04:14 ق.ظ)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 البته فک کنم گزینه ۳ درسته

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


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