计算理论

分类包含 21 篇文章

子分类：计算理论小作品 | 图灵机 | 形式方法 | 自动机 | 计算复杂性理论 | 计算模型

不可判定问题

弗里德堡–穆奇尼克定理

计算模型 (数学)

克莱尼–波斯特定理

图灵焦油坑

图灵完备性

决定性问题

自指

＃P

可计算数