比如寄存器机器、波斯特体系、组合可定义性以及马可夫算法等等。
这些都被证明在计算上和图灵机拥有相同的能力，能与通用图灵机互相模拟，就被称为图灵完全。
《我的世界》就被证明是图灵完全的，乐高积木据说也是，还有万智牌……
扯远了，这一切有什么意义呢？
意义就是，数学家和计算学家们渐渐弄清楚了，虽然形式、语言、系统各有不同，现代计算机本质上都和图灵机等价——现代计算机能完成的任务，图灵机也一定能完成；图灵机做不到的事情，现在计算机也做不到。
这就叫可计算性。
不过这都是上个世纪的研究了。
从1936年开始，其后几年，算是奠定了现代计算机的理论基础，此后就是工业化、微型化、规模集成、摩尔定律……只有工程上的突破，再没有理论上的创新了。
但是，真的如此吗？
科学家们好不容易开辟了一个领域，会满足于取得的成绩，就此踯躅不前？
不存在的！
事实上没有多久，科学家们就对图灵描述的可计算性不满足了。开始思考有没有比图灵机更强的，可以实现图灵机无法计算的难题的新模型。
也就是超计算模型！