تالار گفتمان مانشت
سال ۱۳۸۹سوال ۶۰ - نسخه‌ی قابل چاپ

صفحه‌ها: ۱ ۲ ۳
RE: سوال ۶۰ سال ۱۳۸۹ - sh_aa - 03 دى ۱۳۹۰ ۱۱:۵۰ ب.ظ

فکر میکنم هر دو سوال گزینه ۱ درست باشه.
در هر دو سوال گفته ماشین بر روی جملات عضو زبان توقف میکنه ،پس تا اینجا قطعا بازگشتی شمارا ست. اگه با رشته های غیر عضو هم توقف داشت بازگشتی هم میشد ،ولی در مورد رشته های غیر عضو حرفی نزده! ممکنه با اونها متوقف بشه یا تو لوپ بیفته.
پس چیزی که تا اینجا در موردش قطعیت داریم همون بازگشتی شمارا ست که تحت مکمل بسته نیست.

RE: سوال ۶۰ سال ۱۳۸۹ - پشتکار - ۰۴ دى ۱۳۹۰ ۱۲:۰۴ ق.ظ

(۰۳ دى ۱۳۹۰ ۱۱:۵۰ ب.ظ)sh_aa نوشته شده توسط:  فکر میکنم هر دو سوال گزینه ۱ درست باشه.
در هر دو سوال گفته ماشین بر روی جملات عضو زبان توقف میکنه ،پس تا اینجا قطعا بازگشتی شمارا ست. اگه با رشته های غیر عضو هم توقف داشت بازگشتی هم میشد ،ولی در مورد رشته های غیر عضو حرفی نزده! ممکنه با اونها متوقف بشه یا تو لوپ بیفته.
پس چیزی که تا اینجا در موردش قطعیت داریم همون بازگشتی شمارا ست که تحت مکمل بسته نیست.

در مورد اولی (سوال ۵۸) گفته بر روی کدوم w متوقف می شه؟

ضمنا سوال ارشد ۸۹ رو هم که در پست اولیه یه نگاهی بیندازید
متشکرم

RE: سوال ۶۰ سال ۱۳۸۹ - sh_aa - 04 دى ۱۳۹۰ ۱۲:۵۸ ق.ظ

در ابتدای سوال داره زبان L رو توصیف میکنه پس w ای که در موردش صحبت میکنه متعلق به L هست
-----------------------
در مورد سوال ۵۸ سال ۸۹ با شما موافقم.
در صورتی میشه گفت که متمم L بازگشتیه شماراست که اول ثابت کنیم L بازگشتیه و در صورتی L بازگشتیه که در مورد رشته های غیر عضو هم توقف داشته باشیم ولی اینو از صورت سوال نمیشه دریافت کرد.


----------------
(یک پست در مورد زبانهای مستقل از متن گذاشتم.بی جواب مونده.لطف میکنید جواب بدین.ممنون)

RE: سوال ۶۰ سال ۱۳۸۹ - پشتکار - ۰۴ دى ۱۳۹۰ ۱۲:۰۴ ب.ظ

(۰۴ دى ۱۳۹۰ ۱۲:۵۸ ق.ظ)sh_aa نوشته شده توسط:  در ابتدای سوال داره زبان L رو توصیف میکنه پس w ای که در موردش صحبت میکنه متعلق به L هست

اما چیزی نگفته، گفته ماشین M رو در نظر می گیریم که برای هر w متوقف شه. اما چیزی در مورد اینکه تعلق به رشته داره یا نه نگفته...

(۰۴ دى ۱۳۹۰ ۱۲:۵۸ ق.ظ)sh_aa نوشته شده توسط:  در مورد سوال ۵۸ سال ۸۹ با شما موافقم.
در صورتی میشه گفت که متمم L بازگشتیه شماراست که اول ثابت کنیم L بازگشتیه و در صورتی L بازگشتیه که در مورد رشته های غیر عضو هم توقف داشته باشیم ولی اینو از صورت سوال نمیشه دریافت کرد.

کاملا درسته.
چه عجب یکی پیدا شدTongue


(۰۴ دى ۱۳۹۰ ۱۲:۵۸ ق.ظ)sh_aa نوشته شده توسط:  (یک پست در مورد زبانهای مستقل از متن گذاشتم.بی جواب مونده.لطف میکنید جواب بدین.ممنون)

آدرس رو بذارید.
اگه بتونم چشمSmile

RE: سوال ۶۰ سال ۱۳۸۹ - sh_aa - 04 دى ۱۳۹۰ ۱۲:۵۷ ب.ظ

اگه قراره هر رشته ای رو بپذیره پس L این وسط چیکارست؟! مگر اینکه L هر رشته ای رو بپذیره که من هنوز نتونستم از صورت سوال اینو بفهمم.
-----------

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.