什么是图灵完备语言？

图灵完备语言是指具有图灵完备性的计算机语言。如果一个计算机语言具有图灵完备性，那么它可以计算每一个图灵可计算函数，也可以模拟通用图灵机。绝大多数的编程语言都是图灵完备语言，包括过程式语言、面向对象语言、多范式语言、函数式语言、逻辑式语言、声明式语言以及深奥的语言等。而非图灵完备语言则不具备这样的能力，比如标记语言或数据描述语言。