部分递归函数的日文

• ぶぶんきのうてきかんすう

• 递归函数    μ再帰関数
• 一般递归函数    いっぱんきのうてきかんすう
• 原始递归函数    原始再帰関数
• 回归函数    かいきかんすう
• 递归    さいきリカージョン
• 递归解    リカーシブ解法リカーシブかいほう
• 递归论    再帰理論
• 函数    〈数〉関数.▼“因变数 yīnbiànshù ”ともいう.
• 左递归规则    ひだりきのうてききそく
• 有限递归法    ゆうかいきのうほう
• 相互递归    そうごかいき
• 递归公式    ぜんかしきふっきこうしき
• 递归子程序    さいきてきサブルーチン
• 递归定义    さいきてきていぎ
• 递归定理    きのうていり
• 递归序列    じゅんかんすうれつ
• 递归文法    さいきてきグラマ
• 递归极限    きのうてききょくげん
• 递归滤波器    リカーシブフィルタ
• 递归程序    さいきてきルーチン
• 递归类型    再帰データ型
• 递归语言    帰納言語
• 递归谓词    きのうてきじゅつご
• 部分部分消旋    ぶぶんてきラセミかぶぶんてきむせんこうせいか
• 部分进汽    ぶぶんふんしゃぶぶんりゅうにゅう

• 处处有定义的部分递归函数称为递归函数。
• 部分递归函数类与图灵机可计算函数类相同。
• 加到原始递归函数类中,就得到部分递归函数类。
• B机器比图灵机更加接近于实际机器，它能计算的函数正好是部分递归函数。
• 为了包括所有的直观可计算函数，需要把原始递归函数类扩充为部分递归函数类。
• 限制在普通函数类的范围内，可以证明部分可计算随机函数中的普通函数，恰好是部分递归函数。
• 也可以通过别的刻划方法，使概率图灵机所刻划的普通函数类，以部分递归函数类作为其真子类。
• 从本原函数出发经过有限次的叠置与半递归式构成的函数叫做递归半函数或递归部分函数，也叫做半递归函数或部分递归函数。
• 由初始函数出发，经过有穷次使用代入、原始递归式与μ算子而作成的函数叫做部分递归函数，处处有定义的部分递归函数称为全递归函数，或一般递归函数。
• 尽管图灵并没有在任何形式化的意义上采用公理化方法处理问题，但是他指明了，“算法可计算性公认的特性”必然导致一个确定的函数类，这个函数类是可以精确定义的，图灵给出的清晰准确表达了机械程序概念的图灵机是指产生部分递归函数，而不是指产生一般递归函数的图灵机。

• 部分递归函数的英语：partial recursive function