一切可计算的问题都能计算，这样的虚拟机或者编程语言就叫图灵完备的。