functionally complete

Adjective

not-comparable

(computing theory) Capable of computing any recursive function.

Japanese Meaning

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

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

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

Sense（1）

(computing theory) Capable of computing any recursive function.