functionally complete

形容詞

比較不可

(computing theory) Capable of computing any recursive function.

日本語の意味

計算理論において、任意の再帰的関数を計算する能力を持っていること。

The untyped lambda calculus is functionally complete because it can compute any recursive function.

無型ラムダ計算は任意の再帰関数を計算できるため、関数的に完全である。

意味（1）

(computing theory) Capable of computing any recursive function.