English Dictionary

Turing computable function

名詞

(mathematics) Any function whose value may be computed using a Turing machine.

日本語の意味

数学において、チューリングマシンを用いてその値が計算可能な関数を指す。

To determine whether a given mapping is a Turing computable function, researchers often construct an explicit Turing machine that halts with the correct output for every input.

与えられた写像がチューリング機械で計算可能な関数であるかどうかを判断するために、研究者はしばしば、すべての入力に対して正しい出力で停止する明示的なチューリング機械を構築する。

意味（1）

(mathematics) Any function whose value may be computed using a Turing machine.

Turing computable functions （ plural ）