计算理论
- 抽象机
- 算法
- 算法复杂度
- 算法学
- 自动机理论
- 自动集
- 自动机
- Blum 加速定理
- 分支图
- 分支空间
- 因果图
- 因果不变性
- 因果网络
- Chaitin 常数
- Chaitin 数
- Chaitin 的 Omega
- Chaitin Omega 数
- Church 论题
- Church-Turing 论题
- 可计算数
- 计算
- 计算时间
- 计算不可约性
- 计算范式
- 计算可约性
- 概念
- 可构造函数
- 创造集
- 确定性的
- 编码
- 折叠函数
- 一般递归函数
- 哥德尔数
- 停机问题
- 迭代定理
- Kleene 递归定理
- Kleene s-m-n 定理
- 机器
- 多对一完备
- 数学范式
- McCarthy 91 函数
- 多重计算
- 多重计算范式
- 多重计算过程
- 多重计算系统
- 被乘数
- 多路图
- 多路系统
- 非确定性图灵机
- 一对一完备
- 配对函数
- 偏递归函数
- Paterson 蠕虫
- 原始递归函数
- 计算等价原理
- 生产集
- Rabin 压缩定理
- 递归函数
- 递归集
- 递归可枚举集
- 递归同构
- 递归不可判定
- 可归约的
- Rice 定理
- Ruliad
- 破碎集
- 完全递归函数
- 图灵机
- 通用细胞自动机
- 通用图灵机
- 普遍性
- Vapnik-Chervonenkis 维度
- 虚拟机