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

متن: در ریاضیات، منطق و علوم کامپیوتر، یک‌زبان صوری شمارش‌پذیر بازگشتی می‌باشد در صورتی که زیرمجموعه شمارش‌پذیر بازگشتی در مجموعه‌ای از کلمات احتمالی برحسب الفبای زبان وجود داشته باشد، یعنی یک ماشین تورینگ وجود داشته باشد که تمام رشته‌های معتبر زبان را شمارش می‌کند. زبان‌های شمارش‌پذیر بازگشتی، به عنوان زبانهای نوع ۰ در سلسله‌مراتب چامسکی زبان‌های صوری شناخته‌شده می‌باشند. تمام زبان‌های بازگشتی، حساس به متن، مستقل از متن و منظم، شمارش پذیر بازگشتی می‌باشند. کلاسی از تمام زبان‌های شمارش پذیر بازگشتی، re نامیده می‌شود. 
موضوع:
زبان شمارش پذیر بازگشتی