در ریاضیات، منطق و علوم کامپیوتر، یک زبان صوری شمارش پذیر بازگشتی می باشد در صورتی که زیرمجموعه شمارش پذیر بازگشتی در مجموعه ای از کلمات احتمالی برحسب الفبای زبان وجود داشته باشد، یعنی یک ماشین تورینگ وجود داشته باشد که تمام رشته های معتبر زبان را شمارش می کند.زبان های شمارش پذیر بازگشتی، به عنوان زبانهای نوع ۰ در سلسله مراتب چامسکی زبان های صوری شناخته شده می باشند. تمام زبان های بازگشتی، حساس به متن، مستقل از متن و منظم، شمارش پذیر بازگشتی می باشند.کلاسی از تمام زبان های شمارش پذیر بازگشتی، RE نامیده می شود.
مسئله ارتباطات ارسالی
مرگ و میر (تئوری قابلیت محاسبه)
مسئله توقف
تعریف های اصلی متناظری برای مفهوم یک زبان شمارش پذیر بازگشتی وجود دارد.
تمام زبان های بازگشتی، حساس به متن، مستقل از متن و منظم، شمارش پذیر بازگشتی می باشند.قضیه Post نشان می دهد که RE به همراه همتاهای RE کامل خود متناظر با اولین سطح سلسله مراتب ریاضی می باشد.
مسئله توقف، r.e می باشد نه بازگشتی. فرد می تواند ماشین تورینگ را اجرا نماید و قبول کند که ایا دستگاه مکث کند یا نه. از طرفی دیگر، این مشکل، غیرقابل تصمیم گیری می باشد.برخی زبان های r.e، بازگشتی نمی باشند:
مسئله ارتباطات ارسالی
مرگ و میر (تئوری قابلیت محاسبه)
مسئله توقف
تعریف های اصلی متناظری برای مفهوم یک زبان شمارش پذیر بازگشتی وجود دارد.
تمام زبان های بازگشتی، حساس به متن، مستقل از متن و منظم، شمارش پذیر بازگشتی می باشند.قضیه Post نشان می دهد که RE به همراه همتاهای RE کامل خود متناظر با اولین سطح سلسله مراتب ریاضی می باشد.
مسئله توقف، r.e می باشد نه بازگشتی. فرد می تواند ماشین تورینگ را اجرا نماید و قبول کند که ایا دستگاه مکث کند یا نه. از طرفی دیگر، این مشکل، غیرقابل تصمیم گیری می باشد.برخی زبان های r.e، بازگشتی نمی باشند:
wiki: زبان شمارش پذیر بازگشتی