co-recursive

比較不可

(computing) Describing a definition, particularly of an algorithm, given in terms of its output, rather than its input.

日本語の意味

(計算機科学) 入力ではなく、出力に基づいて定義される、アルゴリズムや定義の形態。すなわち、結果の特徴や性質を元にその動作が再帰的に示される方式を意味する。

The paper presented a co-recursive specification of the stream generator that made reasoning about infinite data structures simpler.

その論文は、ストリーム生成器が出力に基づいて定義された仕様を提示し、無限データ構造についての推論を容易にした。

意味（1）

(computing) Describing a definition, particularly of an algorithm, given in terms of its output, rather than its input.

Co-recursive algorithms allow infinite large objects to be used without necessarily running out of memory.