Turing Complete
图灵完备指计算系统能模拟图灵机,可计算所有可计算函数,是通用计算能力标准。
用途
判断语言/系统的计算能力上界,理解可计算性边界。
机制
需条件:条件分支 + 任意循环/递归 + 可读写内存。大部分编程语言图灵完备。HTML+CSS(有争议)、SQL(递归 CTE)、正则(反向引用)在边缘。图灵停机问题不可判定。
用例
- 计算理论
- 语言能力
- 可计算性
图灵完备指计算系统能模拟图灵机,可计算所有可计算函数,是通用计算能力标准。
判断语言/系统的计算能力上界,理解可计算性边界。
需条件:条件分支 + 任意循环/递归 + 可读写内存。大部分编程语言图灵完备。HTML+CSS(有争议)、SQL(递归 CTE)、正则(反向引用)在边缘。图灵停机问题不可判定。