跳到主要内容
uencoder

Turing Complete

图灵完备指计算系统能模拟图灵机,可计算所有可计算函数,是通用计算能力标准。

用途

判断语言/系统的计算能力上界,理解可计算性边界。

机制

需条件:条件分支 + 任意循环/递归 + 可读写内存。大部分编程语言图灵完备。HTML+CSS(有争议)、SQL(递归 CTE)、正则(反向引用)在边缘。图灵停机问题不可判定。

用例

  • 计算理论
  • 语言能力
  • 可计算性

参考链接