查询词典 primitive recursive function

Based on the theory of recursive function ,this method adopts primitive recursive formula in function representation and is easy to be implemented on computer.

机器发现研究的目标是力图在事先不固定函数形式的条件下，发现新函数。

For this, it is generally required that each individual proof step can be verified by a primitive recursive function or program, and hence the problem is always decidable.

为此，人们普遍要求每个证明步骤可以验证的原始递归函数或程序，因此这个问题始终是判定。

Keywords: Machine discovery,recursive function,primitive recursive formula,goal restraint.

递归函数法，该方法把待求函数本身作为唯一的理论项，从而保证了理论项的合适性；其发现能力也有所提高，该方法采用原始递归式定义函数，递归函数在理论上比较完善，故该方法具有很好的理论依据并且便于计算机实现。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。