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