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

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


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