recursively enumerable
شمارش‌پذیر بازگشتی
توابع بازگشتی
recursive functions
تصمیم‌پذیری
decidability
recursively undecidable
تصمیم‌ناپذیر بازگشتی