اطلاعات مرتبط با تیتر زیر را جمع‌آوری کنید و یک خبر کوتاه بنویسید

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