μ再帰関数的日文

• 递归函数

• 原始再帰関数:    原始递归函数
• 回帰関数:    かいきかんすう回归函数。
• 再帰:    さいき2 1 再 帰 【名】 重新返回;反身
• 再帰化:    重新入籍
• 再帰性:    さいきせい再现性。

例句与用法

1. μ再帰関数においてμ作用素は計算を終了させる。
2. ただし、μ再帰関数が全て原始再帰関数とは言えない。
3. （例えば、原始再帰関数とμ作用素からなるμ再帰関数）。
4. 換言すれば、部分μ再帰関数は部分μ作用素を使うため、全域的でない可能性がある。
5. つまり、任意のμ再帰関数は原始再帰関数に1回だけμ作用素を適用することで定義される。
6. μ再帰関数は原始再帰関数と密接な関連があり、その帰納的定義（後述）は原始再帰関数に基づいている。
7. 通常、これ（アルゴリズムがμ再帰関数を正しく定義しているかという問題）には補助的な証拠を必要とする。
8. μ再帰関数（または部分μ再帰関数）は、有限個の自然数の引数をとり、1つの自然数を返す部分関数である。
9. μ再帰関数（または部分μ再帰関数）は、有限個の自然数の引数をとり、1つの自然数を返す部分関数である。
10. 計算可能性理論では、μ再帰関数はチューリングマシンで計算可能な関数と正確に一致することが示されている。