英和和英

語源

co- +‎ recursively enumerable

形容詞

co-recursively enumerable (not comparable)

1. (コンピューター theory) Describing a set for which there exists a deterministic algorithm that will list all items not in that set.

   Any recursively enumerable set which is also co-recursively enumerable is a decidable set.

参考

• Recursively enumerable on Wikipedia.