متن زیر چه موضوعی را مورد بحث قرار داده است؟

متن: در تئوری محاسباتی و تئوری پیچیدگی محاسباتی، re (قابل شمارش بازگشتی)، کلاسی از مسئله تصمیم می‌باشد که برای ان پاسخ بلی را می‌توان با ماشین تورینگ در مدت زمان متناهی مشخص نمود. به‌طور معمول، بدین معناست که اگر پاسخ «بلی» باشد، انگاه رویه‌هایی وجود دارند که زمان محدودی را برای تعیین ان می‌گیرند. از طرفی دیگر، اگر پاسخ «خیر» باشد، ممکن است دستگاه هرگز مکث نکند. re، کلاسی از مشکلات تصمیم‌گیری می‌باشد که برای ان یک ماشین تورینگ می‌تواند تمام نمونه‌های «بلی» یک به یک را لیست نماید. به‌طور مشابه، re، مجموعه‌ای از تمام زبان‌هایی می‌باشد که مکمل‌های یک‌زبان در re می‌باشند. 
موضوع:
ارای (پیچیدگی)