递归可枚举集合
terme
Computably enumerable set
Begriff aus der Berechenbarkeitstheorie
termine
Rekursiv aufzählbare Menge
재귀 열거 집합
Conjuntos recursivamente enumeráveis
帰納的可算集合
Перечислимое множество
Conjunto recursivamente enumerable
Récursivement énumérable
Insieme ricorsivamente enumerabile
a set that can be output (enumerated) by an algorithm (mathematical logic, computability theory)
مجموعة مرقمة بشكل تراجعي
множество, которое может быть выведено (перечислено) алгоритмом (математическая логика, теория вычислимости)