combinatory definability的意思|示意
美 / /
英 / /
组合可定义性
combinatory definability的网络常见释义
组合可定义性 ...提了出来，比如寄存器机器(register machine), 埃米尔·波斯特(EmillPost)的波斯特体系, 组合可定义性(combinatory definability)以及马可夫算法(Markov1960)等。所有这些体系都已被证明在计算上和图灵机拥有基本相同的能；类似的系统被称为图灵完全。