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

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

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

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

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

$A-B\: =\: A\cap\: B^-$

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

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

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