recursively enumerable
preferred label: شمارش‌پذیر بازگشتی @fa
type: Concept
narrower: recursively undecidable

recursive functions
preferred label: توابع بازگشتی @fa
type: Concept
related: recursively undecidable

decidability
preferred label: تصمیم‌پذیری @fa
type: Concept
related: recursively undecidable

recursively undecidable
related: decidability
related: recursive functions
broader: recursively enumerable
preferred label: تصمیم‌ناپذیر بازگشتی @fa
type: Concept