克林 T 谓词

（计算机科学技术）

克林 T 谓词（Kleene T -predicate），计算机科学技术名词，刻画图灵计算的如下谓词 T ，对所有 e，x，y ， T(e，x，y) 成立当且仅当 y 是第 e 个图灵机对输入 x 的计算的编码。它是一个原始递归谓词。它说明一切一元部分可计算函数可由一个算法来枚举。