co-recursively enumerable
Describing a set for which there exists a deterministic algorithm that will list all…Describing a set for which there exists a deterministic algorithm that will list all items not in that set.
Meaning
1 senses(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.
Origin
From co- + recursively enumerable.From co- + recursively enumerable.
Wiktionary, CC BY-SA 4.0 · source