co-recursively enumerable

短语

别名

corecursively enumerable co-r.e.

释义与例句

adj.
  1. 1.

    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.

词源

From co- + recursively enumerable.

来源：wiktionary