combinatory definability
...提了出来,比如寄存器机器(register machine), 埃米尔·波斯特(EmillPost)的波斯特体系, 组合可定义性(combinatory definability)以及马可夫算法(Markov1960)等。所有这些体系都已被证明在计算上和图灵机拥有基本相同的能;类似的系统被称为图灵完全。
基于18个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐
模块上移
模块下移
不移动