图灵机是一种理想的计算模型，能够模拟任何可计算的问题。具有图灵可计算性的函数可由图灵机计算，但停机问题无法解决。图灵完备的系统可以模拟图灵机，几乎所有编程语言都是图灵完备的，而标记语言如JSON和XML则不是。若系统A和B能够互相模拟，则称为图灵等价。

图灵机是一种理想的计算模型，能够模拟任何可计算的问题。具有图灵可计算性的函数可以由图灵机计算，但停机问题无法解决。图灵完备的系统能够模拟图灵机，几乎所有编程语言都是图灵完备的，而标记语言如JSON和XML则不是。若系统A和B能够互相模拟，则称为图灵等价。