Search results- English - English

Keyword:

Co-recursive

Adjective

not-comparable

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

Japanese Meaning

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

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

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

Adjective

not-comparable

Japanese Meaning

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

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

Search by Web