Last Updated：2025/11/23

(computing theory) Describing a set for which there exists a deterministic algorithm that will list all items not in that set.

音声機能が動作しない場合はこちらをご確認ください

See correct answer

co-recursively enumerable

Source Word

co-recursively enumerable

Adjective

not-comparable

Japanese Meaning

その集合に属さない全ての要素を、決定的なアルゴリズムにより列挙可能な集合（補集合が再帰的に列挙可能な集合）であることを指す。

解析中に遭遇した無効なエンコーディングの集合は補再帰列挙可能であり、文法に受理されないすべての文字列を決定的な手続きで列挙できる。

Sense（1）

Any recursively enumerable set which is also co-recursively enumerable is a decidable set.