差分递归和差分代数函数
摘要：Moore引入了一类实数值的“递归”函数，类似于Kleene对标准递归函数的形式化。尽管他简明的定义启发了对模拟计算的新领域的研究，但其中存在一些技术上的不准确之处。重点研究他的“原始递归”函数，我们确定了问题所在，并讨论了关于偏函数上的微分递归运算符的行为的消除二义性的可能尝试。结果表明，在任何情况下，与微分代数函数以及Shannon的模拟计算模型的所谓关系都是失败的。
作者：Akitoshi Kawamura
论文ID：0704.0301
分类：Computational Complexity
分类简称：cs.CC
提交时间：2009-04-19