最終更新日：2025/11/21

(computing theory) Of a set, such that there exists a deterministic algorithm which will list all the items in the set and no others.

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

正解を見る

recursively enumerable

元となった辞書の項目

recursively enumerable

形容詞

比較不可

日本語の意味

計算理論において、ある集合について、集合に含まれる全ての要素を決定性アルゴリズムによって順次列挙することができる性質を指します。 / すなわち、その集合の要素を列挙する際、決定的なプロセスにより、全ての要素を一つずつ確実に出力できるが、集合外の要素は出力されないという特徴があります。

研究者たちは、決定的なアルゴリズムによって全ての要素が列挙できる有効なプログラム出力の集合が、最終的にすべての出力を列挙する決定的な列挙器によって生成できることを証明した。

意味（1）