recursively enumerable

形容詞

比較不可

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

日本語の意味

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

このボタンはなに？

Researchers proved that the recursively enumerable set of valid program outputs can be produced by a deterministic enumerator that eventually lists every output.

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

詳細

意味（1）

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