最終更新日：2025/11/23

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

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

正解を見る

co-recursively enumerable

元となった辞書の項目

co-recursively enumerable

形容詞

比較不可

日本語の意味

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

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

意味（1）

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