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

زبان L مجموعه تمامی زوج های مرتب <w,m> است که در آن m که یک ماشین تورینگ و w یک رشته است به طوری که ماشین M بر روی ورودیw متوفف نمیشود .کدام یک از جملات زیر صحیح است؟
الف )L بازگشتی است.
ب )L به طور بازگشتی شماراست.
ج )L بازگشتی نیست.
د )L به طور بازگشتی شمارا نیست.

۱ )ب
۲ )الف وب
۳)ب وج
۴ )ج و د


دوستان در مورد بازگشتی شمارا بودن یا نبودش چطوری تصمیم میگیرید؟ ممنون

زبان بازگشتی زبانی است که روی تمام رشته های ورودی اش توقف می کند( یا می پذیردشون یا نه).. پس این زبان نمی تواند بازگشتی باشد
زبان بازگشتی برشمردنی هم روی رشته های عضو زبان توقف می کند .. ولی اینجا(در صورت سوال )گفته شده که روی هیچ رشته‌ی ورودی توفق نمی کند .... پس بازگشتی برشمردنی هم نمی تواند باشد