术语 | totality problem |
释义 | totality problem 完全性问题 Give a character table Σ, ask if there is an algorithm. For any partial function F defined on Σ, the algorithm can decide in a finite steps that F is or not a recursive function. This is the total problem of the partial recursive function. It is known that this question can not be resolved. 给定一字母表Σ,问是否存在一算法,对于定义在Σ上的任一部分递归函数F,该算法都能在有限步内判定:F是或不是完全 递归函数。这就是部分递归函数的完全性问题。已知这个问题是不可解的。 |
随便看 |
|
计算机英汉双解词典包含21137条计算机术语英汉翻译词条,基本涵盖了全部常用计算机术语的翻译及用法,是计算机学习及翻译工作的有利工具。