co-recursively enumerable en · ADJ
Etymology
From co- + recursively enumerable.
Meanings
-
(not-comparable) 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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| corecursively enumerable | alternative | lexicographic | |
| co-r.e. | alternative | lexicographic |