(۰۷ دى ۱۳۹۲ ۱۲:۴۲ ب.ظ)Riemann نوشته شده توسط:  به نظر من میشه گزینه ۲، این دقیقا تعریف همون زبانهای recursive هستش. اول چون توی صورت سوال گفته که ماشین روی رشته متوقف میشه بس میشه زبان recursive و از طرفی اگه زبانی هم [tex]L \in RE \ \ \ \bar{L}\in RE[/tex] این شرایط رو داشته باشه اون زبان recursive هستش. البته فکر کنم.

(۰۷ دى ۱۳۹۲ ۰۱:۰۶ ب.ظ)masoud67 نوشته شده توسط:  

(07 دى ۱۳۹۲ ۱۲:۴۲ ب.ظ)Riemann نوشته شده توسط:  به نظر من میشه گزینه ۲، این دقیقا تعریف همون زبانهای recursive هستش. اول چون توی صورت سوال گفته که ماشین روی رشته متوقف میشه بس میشه زبان recursive و از طرفی اگه زبانی هم [tex]L \in RE \ \ \ \bar{L}\in RE[/tex] این شرایط رو داشته باشه اون زبان recursive هستش. البته فکر کنم.

یه نکته رو نمیدونم توجه کردی یا نه. گفته مجموعه زوج های M
یعنی زبان L شامل یه مشت ماشین تصمیم پذیر باشه
با این اوصاف بازم بازگشتی هست یا نه ؟ گیر من سر همین مجموعه بودن این زبانه

(۰۷ دى ۱۳۹۲ ۰۱:۱۱ ب.ظ)Riemann نوشته شده توسط:  گزینه درست چی هست؟