带你深入理解图灵机和图灵完备的概念定义以及有哪些作用和什么意义

维基百科解释：

可图灵指在可计算性理论中，编程语言或任意其他的逻辑系统如具有等用于通用图灵机的计算能力。换言之，此系统可与通用图灵机互相模拟。

上面的解释比较抽象，通过上面的例子理解了什么是图灵机，图灵完备其实就很很简单理解了。

简单来说，能够抽象成图灵机的系统或编程语言就是图灵完备的；一切可计算的问题图灵机都能计算，因此满足这样要求的逻辑系统、装置或者编程语言就叫图灵完备的。

因此可见，二维虫子是图灵完备的。

Bitcoin的脚本由于没有条件分支，循环等控制指令，回到上面的虫子的例子，虫子就不能根据当前状态，判断选择移动还是吃食物等一系列的动作，因此不满足图灵机的模型，不是图灵完备的。