検索結果- 英語 - 英語

検索内容:

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.

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

形容詞

比較不可

日本語の意味

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

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

Webで検索する