co-recursively enumerable
See also: corecursively enumerable
English
Alternative forms
- corecursively enumerable
- co-r.e.
Etymology
co- + recursively enumerable
Adjective
co-recursively enumerable (not comparable)
- (computing 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.
See also
Recursively enumerable on Wikipedia.Wikipedia