Co-recursively-enumerable meaning

(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.

adjective
0
0
Advertisement

Origin of co-recursively-enumerable

  • co- +‎ recursively enumerable
    From Wiktionary