計算可能関数造句
- B が全体計算可能関数の値域である。
- と書ける関数fの事を計算可能関数という。
- B が計算可能関数の定義域である。
- この場合の還元は計算可能関数に限定される。
- 以下の関数は計算可能関数である。
- の部分集合と、計算可能関数の属性を同一視する。
- 現在では、その概念が計算可能関数となっている。
- 計算可能関数は、自然数についての部分関数である。
- 従って、原始再帰的でない計算可能関数が存在する。
- 計算複雑性理論は計算可能関数の計算の複雑さを扱う。
- 用計算可能関数造句挺难的,這是一个万能造句的方法
- つまり、計算可能関数には原始再帰的でないものもある。
- この論法は任意の枚挙可能な計算可能関数に適用可能である。
- は計算可能関数へのゲーデル数割り当てであると解釈できる。
- 2つの数の最大公約数(を求めること)は計算可能関数である。
- 計算可能関数のクラスを定義する等価な方法がいくつも存在する。
- 従って、ある計算可能関数の定義域だけが計算可枚挙な集合である。
- 原始再帰関数は、計算可能関数かどうかという直観と密接に関連する。
- 同等の計算可能関数のクラスを定義する等価な計算模型はいくつもある。
- 計算可能関数は、アルゴリズムの直観的な記述を正確にしたものと言える。
- しかし、原始再帰関数の集合に全ての計算可能関数が含まれるわけではない。