这个论题获得公认之后,用于描述能行可计算的许多其他机制也被提了出 来,比如寄存器机器(register machine),波斯特(E Post)的波斯特系统,组合 可定义性(combinatory definability)以及马尔可夫(Markov)算法等。
基于22个网页-相关网页
比如寄存器机器
Such as a register machine
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动