图灵完备

定义

图灵完备（Turing Completeness）指一个计算系统若能模拟通用图灵机，则它在可计算性意义上具备与图灵机等价的计算能力，理论上可以执行任何可计算的算法。

判定特征

一个系统通常需要具备条件分支和无限循环（或递归）能力，并能读写任意数量的存储，才可能图灵完备。绝大多数通用编程语言（C、Python、JavaScript 等）都是图灵完备的。

意外案例

许多并非为编程设计的系统被证明图灵完备，例如 C++ 模板系统、CSS 与 HTML 的组合（配合用户交互）、Excel 公式、《我的世界》红石电路、康威生命游戏等，常被作为趣味例证。

权衡

图灵完备并非总是优点：它意味着停机问题不可判定，程序行为无法被完全静态分析。因此某些场景刻意选择非图灵完备的语言以换取可验证性，如正则表达式、SQL 的核心子集，以及部分智能合约和配置语言的设计取舍。